TY  - BOOK
AU  - Bundy Alan
ED  - International Conference on Automated Deduction( 12th : 1994 : Nancy )
ED  - International Conference on Automated Deduction 12th
TI  - Automated deduction : proceedings
U1  - 5.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Automata theory
KW  - Computer science
ER  -