TY  - BOOK
AU  - Kapur,D. Ed.
TI  - Automated Deduction - CADE 11: 11th International Conference Proc.,Saratoga Springs,NY,1992
SN  - 3540556028
CY  - Berlin
KW  - Automation
ER  -