1. I. Adler, H. Scheuermann, M. Weyer, Finite character of f-tree-width via logical compactness, 2004 (manuscript)
2. Group languages;Anisimov;Kibernetika,1971
3. Automorphism groups, isomorphism, reconstruction;Babai,1995
4. A. Blumensath, Prefix-recognizable graphs and monadic second-order logic, Technical Report 2001-06, RWTH Aachen, Department of Computer Science, 2001