TY  - BOOK
AU  - Lusk,E.
AU  - Overbeek,R.
ED  - International Conference on Automated Deduction
TI  - 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988 : proceedings
AV  - QA76.9 A96 I57 1988
PY  - 1988///
CY  - Berlin
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Automatic theorem proving
ER  -