Stepwise debugging of answer-set programs. - OETSCH, JOHANNES; PÜHRER, JÖRG; TOMPITS, HANS (Theory & Practice of Logic Programming, 2018)