Boyer, Robert S. <br/><br/>
A computational logic handbook / 
Robert J. Boyer, J. Strother Moore 
 - Boston, Mass. :  Academic Press,  1988 
 - xvi, (410) p. ;  24 cm. 
<br/><br/>Bibliography: p.397-399 
<br/><br/><label>ISBN: </label>0121229521 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Logic, Symbolic and mathematical