On the declarative semantics of deductive databases and logic programs (1988)

by T Przymusinski
Venue:in Foundations of Deductive Databases and Logic Programming