%0 Conference Paper %1 conf/birthday/OetschPT12 %A Oetsch, Johannes %A Pührer, Jörg %A Tompits, Hans %B Correct Reasoning %D 2012 %E Erdem, Esra %E Lee, Joohyung %E Lierler, Yuliya %E Pearce, David %I Springer %K dblp %P 492-508 %T Stepwise Debugging of Description-Logic Programs. %U http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#OetschPT12 %V 7265 %@ 978-3-642-30742-3

@inproceedings{conf/birthday/OetschPT12, added-at = {2022-12-07T00:00:00.000+0100}, author = {Oetsch, Johannes and Pührer, Jörg and Tompits, Hans}, biburl = {https://www.bibsonomy.org/bibtex/256c4aa004ad04c790223cbc62fccda39/dblp}, booktitle = {Correct Reasoning}, crossref = {conf/birthday/2012lifschitz}, editor = {Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David}, ee = {https://doi.org/10.1007/978-3-642-30743-0_34}, interhash = {d43dd5d61fe8af5448012d77ce92bb25}, intrahash = {56c4aa004ad04c790223cbc62fccda39}, isbn = {978-3-642-30742-3}, keywords = {dblp}, pages = {492-508}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:14.000+0200}, title = {Stepwise Debugging of Description-Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#OetschPT12}, volume = 7265, year = 2012 }