Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Duffy, David A. Principles of Automated Theorem Proving. Chichester [etc.]: John Wiley & Sons, 1991.

Cita MLA (9a ed.)

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