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

by K Ross
Venue:In Proc. of the eighth Symposium on Principles of Database Systems