TY  - BOOK
AU  - Duffy David A.
TI  - Principles of Automated Therem Proving / David A. Duffy
SN  - 0 471 92784 8
AV  - QA76.9 A96 D858 
U1  - 511.3 D472p 
CY  - Canada : John Willey & sons
ER  -