Y. Boichut and P. Héam, A theoretical limit for safety verification techniques with regular fix-point computations, Information Processing Letters, vol.108, issue.1, pp.1-2, 2008.
DOI : 10.1016/j.ipl.2008.03.012

URL : https://hal.archives-ouvertes.fr/inria-00328487

[. Baader and T. Nipkow, Term Rewriting and All That, 1998.

B. Boyer, Réécriture d'automates certifiée pour la vérification de modèles, Thèse de doctorat, 2010.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/inria-00528590

H. Comon, Tree Automata Techniques and Applications, 2008.

P. Cousot, Abstract Interpretation in a Nutshell, Journal of Symbolic Computation, vol.45, pp.574-597, 2010.

R. Gilleron and S. Tison, « Regular Tree Languages and Rewrite Systems, pp.157-175, 1995.

T. Genet, « Reachability analysis of rewriting for Software verification ». Thèse d'habilitation à diriger des recherches, 2009.

T. Genet, Decidable approximations of sets of descendants and sets of normal forms, Proc. 9th RTA Conf., Tsukuba (Japan), volume 1379 of LNCS, pp.151-165, 1997.
DOI : 10.1007/BFb0052368

URL : https://hal.archives-ouvertes.fr/inria-00073364

P. [. Knuth and . Bendix, Simple Word Problems in Universal Algebras, Computational Problems in Abstract Algebra. Sous la dir. de J. Leech, pp.263-267, 1970.
DOI : 10.1007/978-3-642-81955-1_23

F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis, pp.209-280, 2005.
DOI : 10.1007/978-3-662-03811-6

J. Oncina and P. Garcia, « Inferring regular languages in polynomial update time ». Dans : Pattern Recognition and Image Analysis, pp.49-61, 1992.

Y. Salmon, Analyse d'alias par interprétation abstraite ». Rapport de stage, Université de Rennes, vol.1, 2009.

Y. Salmon, Ensemble de termes accessibles en réécriture : aux frontières de la régularité, 2011.

A. Thue and C. L. Siegel, Selected Mathematical Papers of Axel Thue, 1977.

W. Thomas, ,,When nobody else dreamed of these things??? ??? Axel Thue und die Termersetzung, Informatik-Spektrum, vol.72, issue.5, pp.504-508, 2010.
DOI : 10.1007/s00287-010-0468-9

A. «. Thue, Die Lösung eines Spezialfalles eines generellen logischen Problems, Kristiania Videnskabs-Selskabets Skrifter, I. Matematisk-Naturvidenskabelig klasse, 1910.