TY  - BOOK
AU  - 
TI  - AUTOMATED THEOREM PROVING
U1  - 001.535 
PY  - 1978///
CY  - Amsterdam
PB  - North Holland Publishing Co.
KW  - Automatic Theorm Proving
ER  -