Wos, Larry <br/><br/>
Automated reasoning  introduction and applications 
by Larry Wos 
 - Englewood  Prentice-Hall  1984 
 - xiv, 482p. 
<br/><br/><label>ISBN: </label>0130544531 
<br/><br/><label>Dewey Class. No.: </label>001.535  / N844