"Justification and debugging of answer set programs in ASP."

Omar El-Khatib, Enrico Pontelli, Tran Cao Son (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics