Robert S Boyer,J Strother Moore <br/><br/>
A computational logic handbook 

 - 
 -  Academic Press  1988 
 - 408 
<br/><br/>  
<br/><br/><label>ISBN: </label>0-12-122952-1 
<br/><br/><label>Dewey Class. No.: </label>51