TY  - GEN
AU  - David Cuffy
TI  - Principles of automated theorem proving
SN  - 0471927848
PB  - Wiley
ER  -