1. Graph operations and monadic second-order logic: a survey;Courcelle,2000
2. Graph Structure and Monadic Second-Order Logic: a Language-Theoretic Approach, vol. 138;Courcelle,2012
3. Ronald Fagin, Generalized first-order spectra and polynomial-time recognizable sets, Complexity of computation (Proc. SIAM-AMS Sympos. Appl. Math., New York, 1973), 1974, pp. 43–73. SIAM–AMS, Proc., Vol. VII, Amer. Math. Soc., Providence, R.I.
4. Existential second-order logic over graphs: charting the tractability frontier;Gottlob;J. ACM,2004
5. Descriptive complexity;Immerman,1999