David Cuffy <br/><br/>
Principles of automated theorem proving / 

 - 1 
 -  Wiley 
<br/><br/><label>ISBN: </label>0471927848