Johannes Oetsch, Jörg Pührer, Hans Tompits. Catching the Ouroboros: On debugging non-ground answer-set programs. TPLP, 10(4-6):513-529, 2010. [doi]
@article{OetschPT10-0, title = {Catching the Ouroboros: On debugging non-ground answer-set programs}, author = {Johannes Oetsch and Jörg Pührer and Hans Tompits}, year = {2010}, doi = {10.1017/S1471068410000256}, url = {http://dx.doi.org/10.1017/S1471068410000256}, tags = {debugging}, researchr = {https://researchr.org/publication/OetschPT10-0}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {10}, number = {4-6}, pages = {513-529}, }