Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases.

Cristian Papp Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases. 191-204 1995 conf/jfplc/1995 JFPLC db/conf/jfplc/jfplc1995.html#Papp95