Phan Minh Dung Ngo Huu Liem Negation as Failure for Disjunctive Logic Programming. 25-52 1994 12 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai12.html#DungL94