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. 230-244 1994 conf/lpar/1994 LPAR db/conf/lpar/lpar94.html#Papp94 http://dx.doi.org/10.1007/3-540-58216-9_41