David A. Duffy

• Principles of automated theorem proving