"Second-Order Matching via Explicit Substitutions."

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