H. Comon, Tree automata techniques and applications, 2007.

B. Courcelle, On the model-checking of monadic second-order formulas with edge set quantifications, Discrete Applied Mathematics, vol.160, issue.6, pp.866-887, 2012.
DOI : 10.1016/j.dam.2010.12.017
URL : https://hal.archives-ouvertes.fr/hal-00481735

B. Courcelle and I. Durand, Automata for the verification of monadic second-order graph properties, Journal of Applied Logic, vol.10, issue.4, pp.368-409, 2012.
DOI : 10.1016/j.jal.2011.07.001
URL : https://hal.archives-ouvertes.fr/hal-00611853

B. Courcelle and I. Durand, Computations by fly-automata beyond monadic second-order logic, submitted for publication, 2013.

B. Courcelle and I. , Model-Checking by Infinite Fly-Automata, Proceedings of the 5th Conference on Algebraic Informatics, pp.211-222, 2013.
DOI : 10.1007/978-3-642-40663-8_20
URL : https://hal.archives-ouvertes.fr/hal-00875114

B. Courcelle and J. Engelfriet, Graph structure and monadic second-order logic, a language theoretic approach, of Encyclopedia of Mathematics and its Application, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00646514

B. Courcelle, J. Makowsky, and U. Rotics, Linear-time solvable optimization problems on graphs of bounded clique-width, Theory Comput, Syst, vol.33, pp.125-150, 2000.

M. Fellows, F. Rosamond, U. Rotics, and S. Szeider, Clique-Width is NP-Complete, SIAM Journal on Discrete Mathematics, vol.23, issue.2, pp.909-939, 2009.
DOI : 10.1137/070687256

M. Frick and M. Grohe, The complexity of first-order and monadic second-order logic revisited, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.3-31, 2004.
DOI : 10.1109/LICS.2002.1029830

M. Grohe and S. Kreutzer, Model Theoretic Methods in Finite Combinatorics, Contemporary Mathematics 558, pp.181-206, 2011.
DOI : 10.1090/conm/558

J. Kneis, A. Langer, and P. , Courcelle???s theorem???A game-theoretic approach, Discrete Optimization, vol.8, issue.4, pp.568-594, 2011.
DOI : 10.1016/j.disopt.2011.06.001

K. Reinhardt, The Complexity of Translating Logic to Finite Automata, Lecture Notes in Computer Scienc, vol.2500, pp.231-238, 2002.
DOI : 10.1007/3-540-36387-4_13