Higher-Order Matching and Tree Automata.

Hubert Comon, Yan Jurski

Browse the full CSL paper archive.