Johannes Oetsch, Jörg Pührer, Hans Tompits. Stepwise debugging of answer-set programs. TPLP, 18(1):30-80, 2018. [doi]
@article{OetschPT18,
title = {Stepwise debugging of answer-set programs},
author = {Johannes Oetsch and Jörg Pührer and Hans Tompits},
year = {2018},
doi = {10.1017/S1471068417000217},
url = {https://doi.org/10.1017/S1471068417000217},
researchr = {https://researchr.org/publication/OetschPT18},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {18},
number = {1},
pages = {30-80},
}