TY  - BOOK
AU  - Kortenkamp,David
AU  - Bonasso,R.Peter
AU  - Murphy,Robin
TI  - Automated reasoning and its applications: essays in honnor of Larry Wos 
SN  - 0262220555
PY  - 1997///
CY  - Cambridge
PB  - MIT Press
ER  -