"Negation in Disjunctive Logic Programs."

Chiaki Sakama, Katsumi Inoue (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics