Building Proofs or Counterexamples by Analogy in a Resoluton Framework. - Christophe Bourely; Gilles Défourneaux; Nicolas Peltier (JELIA, 1996)

Partial Matching for Analogy Discovery in Proofs and Counter-Examples. - Gilles Défourneaux; Nicolas Peltier (CADE, 1997)

Analogy and Abduction in Automated Deduction. - Gilles Défourneaux; Nicolas Peltier (IJCAI (1), 1997)

Semantic Generalizations for Proving and Disproving Conjectures by Analogy. - Gilles Défourneaux; Christophe Bourely; Nicolas Peltier (J. Autom. Reason., 1998)