Stephen Owen Analogy for automated reasoning - - Academic Press 1990 - 235 ISBN: 0-12-531715-8 Dewey Class. No.: 004.891