Andrews, J. H. (2004). Logic programming: Operational semantics and proof theory (1. paperback ed.). Cambridge Univ. Press.
Chicago-Zitierstil (17. Ausg.)Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. 1. paperback ed. Cambridge u.a: Cambridge Univ. Press, 2004.
MLA-Zitierstil (9. Ausg.)Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. 1. paperback ed. Cambridge Univ. Press, 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.