TY  - BOOK
AU  - Kapur D
ED  - International Conference on Automated Deduction( 11th : 1992 : New York )
ED  - International Conference on Automated Deduction 11th
TI  - Automated deduction : proceedings
U1  - 6.331 
PY  - 1992///
CY  - Berlin
PB  - Springer Verlag
KW  - Automated deduction
KW  - Computer science
ER  -