"Higher-Order Unification: A structural relation between Huet's method and ..."

Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics