A Method for Building Models Automatically. Experiments with an Extension of OTTER. - Christophe Bourely; Ricardo Caferra; Nicolas Peltier (CADE, 1994)

DiscAtinf: A General Framework for Implementing Calculi and Strategies. - Christophe Bourely; Nicolas Peltier (DISCO, 1996)

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

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