"Higher-Order Matching and Tree Automata."

Hubert Comon, Yan Jurski (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics