TY  - BOOK
AU  - Loveland D W
TI  - Automated theorem proving : a logical basis
U1  - 006.3 
PY  - 1978///
CY  - Amsterdam
PB  - North Holland
KW  - Artificial intelligence
KW  - Automated theory
ER  -