TY  - BOOK
AU  - Boyer, Robert S, 
AU  - 
TI  - Automated reasoning: Essays in Honor of Woody Bledsoe
U1  - 004  BOY-A 
PY  - 1991///
CY  - Kluwer Academic Publishers, Dordrecht
KW  - Computer science
ER  -