A Bottom-up Reconstruction of the Well-Founded Semantics for Disjunctive Logic Programs.

Cristian Papp A Bottom-up Reconstruction of the Well-Founded Semantics for Disjunctive Logic Programs. 93-108 1993 2 Sci. Ann. Cuza Univ. db/journals/cuza/cuza2.html#Papp93