Erica Melis Jon Whittle Analogy in Inductive Theorem Proving. 117-147 1999 22 J. Autom. Reasoning 2 db/journals/jar/jar22.html#MelisW99