Declarative Semantics of Logic Programming.

Kenneth Kunen Declarative Semantics of Logic Programming. 147-167 1991 44 Bulletin of the EATCS db/journals/eatcs/eatcs44.html#Kunen91