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

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