L. Barguñó, C. Creus, G. Godoy, F. Jacquemard, and C. Vacher, The Emptiness Problem for Tree Automata with Global Constraints, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.263-272, 2010.
DOI : 10.1109/LICS.2010.28

B. Bogaert and S. Tison, Equality and disequality constraints on direct subterms in tree automata, STACS, pp.161-171, 1992.
DOI : 10.1007/3-540-55210-3_181

Y. Boichut, T. Genet, T. P. Jensen, and L. L. Roux, Rewriting Approximations for Fast Prototyping of Static Analyzers, LNCS, vol.4533, pp.48-62, 2007.
DOI : 10.1007/978-3-540-73449-9_6
URL : https://hal.archives-ouvertes.fr/hal-00463418

W. Charatonik, Automata on dag representations of finite trees, 1999.

H. Comon-lundh, F. Jacquemard, and N. Perrin, Visibly Tree Automata with Memory and Constraints, Logical Methods in Computer Science, vol.4, issue.2, 2008.
DOI : 10.2168/LMCS-4(2:8)2008
URL : https://hal.archives-ouvertes.fr/inria-00578844

C. Creus, A. Gascón, and G. Godoy, Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints, Journal of Automated Reasoning, vol.209, issue.3, pp.371-400, 2013.
DOI : 10.1007/s10817-012-9270-5

M. Dauchet and J. Mongy, Transformations de noyaux reconnaissables, FCT, pp.92-98, 1979.

E. Filiot, J. Talbot, and S. Tison, Satisfiability of a Spatial Logic with Tree Variables
DOI : 10.1007/978-3-540-74915-8_13
URL : https://hal.archives-ouvertes.fr/inria-00148462

E. Filiot, J. Talbot, and S. Tison, Tree automata with global constraints, LNCS, vol.5257, pp.314-326, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00292027

E. Filiot, J. Talbot, and S. Tison, TREE AUTOMATA WITH GLOBAL CONSTRAINTS, International Journal of Foundations of Computer Science, vol.21, issue.04, pp.571-596, 2010.
DOI : 10.1142/S012905411000743X
URL : https://hal.archives-ouvertes.fr/inria-00292027

P. Héam, V. Hugot, and O. Kouchnarenko, On Positive TAGED with a Bounded Number of Constraints, CIAA, pp.329-336, 2012.
DOI : 10.1007/978-3-642-31606-7_29

H. Hosoya, Foundations of XML Processing: The Tree-Automata Approach, 2010.
DOI : 10.1017/CBO9780511762093

F. Jacquemard, F. Klay, and C. Vacher, Rigid tree automata and applications, Information and Computation, vol.209, issue.3, pp.486-512, 2011.
DOI : 10.1016/j.ic.2010.11.015
URL : https://hal.archives-ouvertes.fr/inria-00578820