Stepwise debugging of answer-set programs
OETSCH, JOHANNES, PÜHRER, JÖRG, TOMPITS, HANSVolume:
18
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/S1471068417000217
Date:
January, 2018
File:
PDF, 1.10 MB
english, 2018