Williams, James G. <br/><br/>
Instantiation theory :  on the foundations of automated deduction / 
[by] J.G. Williams. 
 - Berlin :  Springer-Verlag,  1991. 
 - viii, 133 p. :  ill. ;  25 cm. 
 - Lecture notes in artificial intelligence. .
 - Lecture notes in artificial intelligence. .
<br/><br/>Includes bibliographical references (p. 128-133). 
<br/><br/><label>ISBN: </label>0387543333 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.