TY  - BOOK
AU  - Loveland D W
ED  - Conference on Automated Deduction( 6th : 1982 : N Y )
ED  - Conference on Automated Deduction 6th
TI  - Automated deduction : proceedings
U1  - 5.131 
PY  - 1982///
CY  - Berlin
PB  - Springer Verlag
KW  - Autometed deduction
KW  - Computer science
ER  -