Tree Automata and Automata on Linear OrderingsVéronique Bruyère, Olivier Carton and Géraud SénizerguesRAIRO-Theor. Inf. Appl., 43 2 (2009) 321-338DOI: https://doi.org/10.1051/ita/2009009
