On debugging of propositional answer-set programs / Jörg Pührer. 2007
Content