Principles of automated theorem proving /
Duffy, David A.
Chichester : Wiley,
c1991.