Automated reasoning :  introductions and applications / 
Larry Wos... (et al.) 
 - Englewood Cliffs, N.J. :  Prentice-Hall,  1984 
 - 482 p. :  ill.;  24 cm. 
<br/><br/><label>ISBN: </label>0130544469 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Artificial intelligence<br/>Electronic digital computers--Programming