The alternating fixpoint of logic programs with negation (1989)

by Allen Van Gelder
Venue:In Proc. ACM Symp. on Principles of Database Systems (PODS