Cristian Papp Alternating Fixpoint Semantics for Disjunctive Logic Programs. 11-23 1995 Deductive Databases / Abduction in Deductive Databases db/conf/deductive/deductive95.html#Papp95