Justifications for logic programs under answer set semantics

Enrico Pontelli, Tran Cao Son, Omar El-Khatib. Justifications for logic programs under answer set semantics. TPLP, 9(1):1-56, 2009. [doi]

Bibliographies