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.