TY  - BOOK
AU  - NEWBORN;MONTY
TI  - Automated Theorem Proving: Theory and Practice
SN  - 9781461265191
U1  - 004.015 
PB  - New York:Springer-Verlag
KW  - Mathematical Principles
ER  -