Higher-order matching and tree automata, in M (0)

by H Comon, Y Jurski
Venue:of Lecture Notes in Computer Science