Allen Van Gelder The Alternating Fixpoint of Logic Programs with Negation. 185-221 1993 47 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss47.html#Gelder93