TY  - BOOK
AU  - Loveland,Donald W.
TI  - Automated theorem proving: a logical basis 
SN  - 0720404991 :
U1  - 001.535 
PY  - 1978///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Automatic theorem proving
N1  - Includes index
ER  -