Wos, Larry <br/><br/>
Automated reasoning: Introduction and applications 

 - 2nd ed. 
 - New York  McGraw-Hill  1992 
 - xvi,656 p. 
<br/><br/><label>ISBN: </label> RS62.5 
<br/><br/><label>Dewey Class. No.: </label>001.64 W91A