APA (7th ed.) Citation

Duffy, D. A. (1991). Principles of automated theorem proving. Wiley.

Chicago Style (17th ed.) Citation

Duffy, David A. Principles of Automated Theorem Proving. Chichester [u.a.]: Wiley, 1991.

MLA (9th ed.) Citation

Duffy, David A. Principles of Automated Theorem Proving. Wiley, 1991.