TY  - BOOK
AU  - Newborn Monty
TI  - Automated theorem proving: theory and practice
SN  - 0-387-95075-3
U1  - 004.015113 
PY  - 2001///
CY  - New York
PB  - Springer-Verlag
KW  - Automatic theorem proving
ER  -