| |
| 1998 | ||
|---|---|---|
| 4 | Gilles Défourneaux, Christophe Bourely, Nicolas Peltier: Semantic Generalizations for Proving and Disproving Conjectures by Analogy. J. Autom. Reasoning 20(1): 27-45 (1998) | |
| 1996 | ||
| 3 | Christophe Bourely, Nicolas Peltier: DiscAtinf: A General Framework for Implementing Calculi and Strategies. DISCO 1996: 34-45 | |
| 2 | Christophe Bourely, Gilles Défourneaux, Nicolas Peltier: Building Proofs or Counterexamples by Analogy in a Resoluton Framework. JELIA 1996: 34-49 | |
| 1994 | ||
| 1 | Christophe Bourely, Ricardo Caferra, Nicolas Peltier: A Method for Building Models Automatically. Experiments with an Extension of OTTER. CADE 1994: 72-86 | |
| 1 | Ricardo Caferra | [1] |
| 2 | Gilles Défourneaux | [2] [4] |
| 3 | Nicolas Peltier | [1] [2] [3] [4] |