TY  - GEN
TY  - GEN
T1  - Instantiation theory : on the foundations of automated deduction
T2  - Lecture notes in artificial intelligence
T2  - Lecture notes in computer science
A1  - Williams, J. G.
LA  - eng
PP  - Berlin
PB  - Springer
YR  - 1991
UL  - https://kansalliskirjasto.finna.fi/Record/vaari.1352158
SN  - 0-387-54333-3
SN  - 3-540-54333-3
ER  -