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