TY  - BOOK
AU  - Conference on automated deduction (6th
AU  - loveland, D. W., ed.
TI  - 6th conference on automated deduction
T2  - Lecture notes in computer science
SN  - 3540115587
U1  - 001.6406 
PY  - 1982///
CY  - Berlin
PB  - Springer-Verlag
ER  -