The alternating fixpoint of logic programs with negation (1989)

by A VAN GELDER
Venue:In Proceedings of the 8th ACM SILACT-SICMOO-SILART Symposium on Principles of Database Systems (Philadelphia, Pa., Mar. 29–31). ACM