@inproceedings(Bara06Hierarchy,
 author       = "V. B{\'a}r{\'a}ny",
 year         = "2006",
 title        = "A Hierarchy of Automatic omega-Words having a Decidable MSO Theory",
 booktitle    = "On-line proceedings of the 11th JournŽes Montoises, Rennes 2006",
)
@article(CaTh02,
 author       = "Olivier Carton and Wolfgang Thomas",
 year         = "2002",
 title        = "The monadic theory of morphic infinite words and generalizations",
 journal      = "Inf. Comput.",
 volume       = "176",
 number       = "1",
 pages        = "51--65",
 doi          = "10.1006/inco.2001.3139",
)
@article(CoLo07,
 author       = "T. Colcombet and C. L\"oding",
 year         = "2007",
 title        = "Transforming structures by set interpretations",
 journal      = "Logical Methods in Computer Science",
 volume       = "3",
 number       = "2",
 doi          = "10.2168/LMCS-3(2:4)2007",
)
@article(ElRa66,
 author       = "C.C. Elgot and M.O. Rabin",
 year         = "1966",
 title        = "Decidability of extensions of theory of successor",
 journal      = "J. Symb. Log.",
 volume       = "31",
 number       = "2",
 pages        = "169--181",
 doi          = "10.2307/2269808",
)
@article(Fratani,
 author       = "S{\'e}verine Fratani",
 year         = "2012",
 title        = "Regular sets over extended tree structures",
 journal      = "Theoretical Computer Science",
 volume       = "418",
 number       = "0",
 pages        = "48 -- 70",
 doi          = "10.1016/j.tcs.2011.10.020",
)
@article(Kozen92,
 author       = "Dexter Kozen",
 year         = "1992",
 title        = "On the {M}yhill-{N}erode theorem for trees",
 journal      = "Bull. Europ. Assoc. Theor. Comput. Sci.",
 volume       = "47",
 pages        = "170--173",
)
@article(Nies07,
 author       = "Andr{\'e} Nies",
 year         = "2007",
 title        = "Describing groups",
 journal      = "Bull. Symbolic Logic",
 volume       = "13",
 number       = "3",
 pages        = "305--339",
 doi          = "10.2178/bsl/1186666149",
)
@inproceedings(RaTh06,
 author       = "Alexander Moshe Rabinovich and Wolfgang Thomas",
 year         = "2006",
 title        = "Decidable Theories of the Ordering of Natural Numbers with Unary Predicates",
 booktitle    = "CSL",
 pages        = "562--574",
 url          = "http://dx.doi.org/10.1007/11874683_37",
)
@article(Rubi08,
 author       = "Sasha Rubin",
 year         = "2008",
 title        = "Automata Presenting Structures: A Survey of the Finite String Case",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "14",
 number       = "2",
 pages        = "169--209",
 doi          = "10.2178/bsl/1208442827",
)
@article(Tsan11,
 author       = "Todor Tsankov",
 year         = "2011",
 title        = "The additive group of the rationals does not have an automatic presentation",
 journal      = "J. Symbolic Logic",
 volume       = "76",
 number       = "4",
 pages        = "1341--1351",
 doi          = "10.2178/jsl/1318338853",
)