TY  - BOOK
AU  - International Conference on Automated Deduction (Napa, California
AU  - Shostak, R. E.
TI  - Seventh international conference on automated deduction
T2  - Lecture Notes in Computer Science
SN  - 3540960228
U1  - 511.3 
PY  - 1984///
CY  - Berlin
PB  - Springer-Verlag
ER  -