Catching the ouroboros: On debugging non-ground answer-set programs. Theory and (0)

by J Oetsch, J Pührer, H Tompits
Venue:Practice of Logic Programming. Twenty-sixth International Conference on Logic Programming (ICLP’10) Special Issue