Boyer, Robert S <br/><br/>
A computational logic 
Robert S. Boyer and J. Strother Moore 
 - Orlando, Fla.  Academic Press  1979 
 - 397 p. ; 24 cm. 
 - ACM monograph series .
<br/><br/>Bibliography: p. 385-387 
<br/><br/><label>ISBN: </label>0121229505 
<br/><br/><label>LCCN: </label>79-51693 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving