Gilles Défourneaux Christophe Bourely Nicolas Peltier Semantic Generalizations for Proving and Disproving Conjectures by Analogy. 27-45 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#DefourneauxBP98