Loveland, Donald W. <br/><br/>
Automated theorem proving :  a logical basis / 
Donald W. Loveland. 
 - Amsterdam :  North-Holland Pub. Co.,  1978 
 - xii, 405 p. :  ill.;  23 cm. 
 - Fundamental studies in computer science ;  6 .
 - Fundamental studies in computer science ;  6 .
<br/><br/> Includes index 
<br/><br/>Bibliography: p.  395 -399 
<br/><br/><label>ISBN: </label>0720404991 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.