Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack. Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection. In Joscha Bach, Stefan Edelkamp, editors, KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings. Volume 7006 of Lecture Notes in Computer Science, pages 289-300, Springer, 2011. [doi]
Abstract is missing.