TY  - BOOK
AU  - Loveland,Donald W.
TI  - Automated theorem proving: a logical basis 
T2  - Fundamental studies in computer science
SN  - 0720404991
PY  - 1978///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Automatic theorem proving
N1  - Includes index; Bibliography: p.  395 -399
ER  -