K._R.__Apt
A theory of first-order built-in's of PROLOG
Declarative interpretations reconsidered
Logic Programming and Negation: A Survey
Modular termination proofs for logic and pure prolog programs
On the unification free Prolog programs
Search and Imperative Programming