External Analogy in Inductive Theorem Proving.

Erica Melis, Jon Whittle

Browse the full KI paper archive.