Dieter Poetschke Toward a Mathematical Theory of Analogical Reasoning. 54-59 1982 ECAI db/conf/ecai/ecai82.html#Poetschke82