TY  - BOOK
AU  - Owen Stephen
TI  - Analogy for automated reasoning
U1  - 006.333 
PY  - 1990///
CY  - Boston
PB  - Academic Press
KW  - Automated reasoning
ER  -