Thierry Boy de la Tour, Nicolas Peltier. Analogy in Automated Deduction: A Survey. In Henri Prade, Gilles Richard, editors, Computational Approaches to Analogical Reasoning: Current Trends. Volume 548 of Studies in Computational Intelligence, pages 103-130, Springer, 2014. [doi]
Abstract is missing.