TY  - RPRT
TI  - Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
AU  - Johannes Oetsch
AU  - Jörg Pührer
AU  - Hans Tompits
PY  - 2010
DO  - 10.1017/s1471068410000256
UR  - https://arxiv.org/abs/1007.4986
ID  - 1007.4986
ER  -