Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.

Martin Schmidt, Helmar Gust, Kai-Uwe Khnberger, Ulf Krumnack

Browse the full KI paper archive.