Internal Analogy in Theorem Proving.

Erica Melis, Jon Whittle

Browse the full CADE paper archive.