Erica Melis Jon Whittle External Analogy in Inductive Theorem Proving. 111-122 1997 conf/ki/1997 KI db/conf/ki/ki97.html#MelisW97