A denotational semantics for Prolog (1989)

by Tim Nicholson, Norman Y Foo
Venue:ACM Transactions on Programming Languages and Systems