"Catching the Ouroboros: On debugging non-ground answer-set programs."

Johannes Oetsch, Jörg Pührer, Hans Tompits (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics