TY  - BOOK
AU  - Williams,James G.
TI  - Instantiation theory: on the foundations of automated deduction 
T2  - Lecture notes in artificial intelligence
SN  - 0387543333
PY  - 1991///
CY  - Berlin
PB  - Springer-Verlag
KW  - Automatic theorem proving
N1  - Includes bibliographical references (p. 128-133)
ER  -