The alternating fixpoint of logic programs with negation (1989)

by A van Gelder
Venue:In Proc. of the Symposium on Principles of Database Systems, A. Silberschatz, Ed. ACM