On the declarative semantics of deductive databases and logic programs. In: Minker J (ed) Foundations of deductive databases and logic programming (1988)

by T Przymusinski