Stepwise debugging of answer-set programs

Johannes Oetsch, Jörg Pührer, Hans Tompits. Stepwise debugging of answer-set programs. TPLP, 18(1):30-80, 2018. [doi]

No reviews for this publication, yet.