TY  - BOOK
AU  - Veroff, Robert
TI  - Automated reasoning and its applications: essays in honor of Larry Wos
SN  - 262220555
PY  - 1997///
CY  - London
PB  - MIT Press
ER  -