"Woj, Larry" <br/><br/>
Automated Reasoning 

 - \\198800ENGGPSX 
 - Prentice Hall   1988  Englewood Cliffs  
 - xii+319p 
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>013054552X