Analogy in inductive theorem proving (1999)

by E Melis, J Whittle
Venue:Journal of Automated Reasoning