TY  - BOOK
AU  - Stickel, M E. Ed.
TI  - Tenth International Conference on Automated Deduction: Proceedings, Kaiserslautern, FRG, 1990
SN  - 3540528857
CY  - Berlin
KW  - Automated deduction
ER  -