A procedural semantics for well founded negation in logic programs (1989)

by K Ross
Venue:In "Proceedings of the 8th A CM SIGACT-SIGMOD-SIGART Symposium on Principle of Database Systems