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

A. Dawar, Generalized Quantifiers and Logical Reducibilities, Journal of Logic and Computation, vol.5, issue.2, pp.213-226, 1995.
DOI : 10.1093/logcom/5.2.213

J. Doner, Tree acceptors and some of their applications, Journal of Computer and System Sciences, vol.4, issue.5, pp.406-451, 1970.
DOI : 10.1016/S0022-0000(70)80041-1

L. Libkin, Logics for unranked trees: An overview, Logical Methods in Computer Science, vol.2, 2006.

P. Lindström, First order predicate logic with generalized quantifiers, Theoria, vol.32, pp.186-195, 1966.

L. Lovász and P. Gács, Some Remarks on Generalized Spectra, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, pp.27-144, 1977.
DOI : 10.1002/malq.19770233608

B. Cate and L. Segoufin, Transitive closure logic, and nested tree walking automata, and Xpath, Journal of the ACM, vol.57, issue.3, pp.1-1841, 2010.
DOI : 10.1145/1706591.1706598

J. W. Thatcher and J. B. Wright, Generalized finite automata theory with an application to a decision problem of second-order logic, Mathematical systems theory, pp.57-81, 1968.
DOI : 10.1007/BF01691346

W. Thomas, Languages, Automata, and Logic, Handbook of Formal Languages, pp.389-455, 1997.
DOI : 10.1007/978-3-642-59126-6_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8502