The alternating fixpoint of logic programs with negation (1989)

by A Van Gelder
Venue:In PODS ’89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems