APA-Zitierstil (7. Ausg.)

Andrews, J. H. (1991). Logic programming: Operational semantics and proof theory. Univ. of Edinburgh, Department of Computer Science.

Chicago-Zitierstil (17. Ausg.)

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. Edinburgh: Univ. of Edinburgh, Department of Computer Science, 1991.

MLA-Zitierstil (9. Ausg.)

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. Univ. of Edinburgh, Department of Computer Science, 1991.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.