TY  - BOOK
AU  - Sandford, David M.
TI  - Using Sophisticated Models in Resolution Theorem Proving
SN  - 3540102310
CY  - Berlin
KW  - Sophisticated Models
KW  - Resolution Theorem
ER  -