Bibel, Wolfgang,  1938- <br/><br/>
Automated theorem proving / 
Wolfgang Bibel 
 - Braunschweig :  Friedr Vieweg & Sohn,  1982 
 - 292p.;  23cm. 
<br/><br/>Bibliography: p.(277)-287 
<br/><br/><label>ISBN: </label>3528085207 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving