Building Proofs or Counterexamples by Analogy in a Resoluton Framework.

Christophe Bourely, Gilles Dfourneaux, Nicolas Peltier

Browse the full JELIA paper archive.