%0 Journal Article %1 journals/tplp/OetschPT10 %A Oetsch, Johannes %A Pührer, Jörg %A Tompits, Hans %D 2010 %J Theory Pract. Log. Program. %K dblp %N 4-6 %P 513-529 %T Catching the Ouroboros: On debugging non-ground answer-set programs. %U http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#OetschPT10 %V 10

@article{journals/tplp/OetschPT10, 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/283bd301f2787bf62ce133d79801842c4/dblp}, ee = {https://doi.org/10.1017/S1471068410000256}, interhash = {ad227c1dd2be73a68147023aba688d08}, intrahash = {83bd301f2787bf62ce133d79801842c4}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-6}, pages = {513-529}, timestamp = {2024-04-09T05:34:50.000+0200}, title = {Catching the Ouroboros: On debugging non-ground answer-set programs.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#OetschPT10}, volume = 10, year = 2010 }