Tree automata techniques and applications. Available on: http: //www.grappa.univ-lille3.fr/tata (1997)

by H Comon, M Dauchet, R Gilleron, F Jacquemard, D Lugiez, S Tison, M Tommasi