[ACM] JACM 23(4) October 1976

[ACM] [ACM] JACM  

Van Emden, M. H. and R. A. Kowalski (1976) Van Emden, M. H. and R. A. Kowalski "The Semantics of Predicate Logic as a Programming Language" pp733-742