TY  - BOOK
AU  - Stephen Owen
TI  - Analogy for automated reasoning
SN  - 0-12-531715-8
U1  - 004.891 
PY  - 1990///
CY  - 
PB  - Academic Press
ER  -