TY  - ADVS
AU  - Newborn, Monty
TI  - Automated theorem proving: theory and practice
U1  - A137039 
PY  - 2001///
CY  - 
PB  - Springer-Verlag
ER  -