TY  - BOOK
AU  - Loveland,lonald W
TI  - Automated theorem proving
U1  - 001.535 23
PY  - 1978///
CY  - amsterdam
PB  - North-Holand
KW  - AUTOMATIC THEOREM PROVING
ER  -