Partial Matching for Analogy Discovery in Proofs and Counter-Examples.

Gilles Dfourneaux, Nicolas Peltier

Browse the full CADE paper archive.