Duffy, D. A. (1991). Principles of automated theorem proving. Wiley.
Chicago-Zitierstil (17. Ausg.)Duffy, David A. Principles of Automated Theorem Proving. Chichester u.a: Wiley, 1991.
MLA-Zitierstil (9. Ausg.)Duffy, David A. Principles of Automated Theorem Proving. Wiley, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.