Justifications for logic programs under answer set semantics.

Enrico Pontelli Tran Cao Son Omar El-Khatib Justifications for logic programs under answer set semantics. 1-56 2009 9 TPLP 1 http://dx.doi.org/10.1017/S1471068408003633 db/journals/tplp/tplp9.html#PontelliSE09