"Sequentiality, Second Order Monadic Logic and Tree Automata"

Hubert Comon (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics