TY  - BOOK
AU  - Lusk, E. Ed.
AU  - Overbeek, R. Ed.
TI  - Automated Deduction: Proceedings, 9th Int.Conf., Argonne, USA, 1988
SN  - 354019343X
CY  - Berlin
KW  - Automated Deduction
ER  -