"A Decidable Variant of Higher Order Matching."

Daniel J. Dougherty, Tomasz Wierzbicki (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics