Building Proofs or Counterexamples by Analogy in a Resoluton Framework

Christophe Bourely, Gilles Défourneaux, Nicolas Peltier. Building Proofs or Counterexamples by Analogy in a Resoluton Framework. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 34-49, Springer, 1996.

Abstract

Abstract is missing.