APA (7th ed.) Citation

Andrews, J. H. (1992). Logic programming: Operational semantics and proof theory (1. publ.). Cambridge Univ. Press.

Chicago Style (17th ed.) Citation

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. 1. publ. Cambridge u.a: Cambridge Univ. Press, 1992.

MLA (9th ed.) Citation

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. 1. publ. Cambridge Univ. Press, 1992.

Warning: These citations may not always be 100% accurate.