"Justifications for Logic Programs under Answer Set Semantics"

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