Theorem Proving by Analogy - A Compelling Example.

Erica Melis

Browse the full EPIA paper archive.