Henri Farreny Henri Prade About Flexible Matching and its Use in Analogical Reasoning. 43-47 1982 ECAI db/conf/ecai/ecai82.html#FarrenyP82