Cristian Papp Unfould Transformations and Fixpoint Semantics for Disjunctive Deductive Databases. 85-106 1994 3 Sci. Ann. Cuza Univ. db/journals/cuza/cuza3.html#Papp94