@article(buechi,
 author       = "J.~B\"uchi and L.~Landweber",
 year         = "1969",
 title        = "{Solving sequential conditions by finite-state strategies}",
 journal      = "{Transactions of the American Mathematical Society}",
 url          = "http://dx.doi.org/10.1090/S0002-9947-1969-0280205-0",
)
@misc(uniformizationAutomataTheory,
 author       = "A.~Carayol and C.~L{\"o}ding",
 year         = "2012",
 title        = "{Uniformization in Automata Theory}",
 howpublished = "To appear in: Logic, Methodology and Philosophy of Science. Proceedings of the Fourteenth International congress. P. Schroeder-Heister, G. Heinzmann, W. Hodges, P. Edouard Bour, eds., London: College Publications",
)
@inproceedings(church1962logic,
 author       = "A.~Church",
 year         = "1962",
 title        = "Logic, arithmetic and automata",
 booktitle    = "Proceedings of the international congress of mathematicians",
 pages        = "23--35",
)
@misc(tata2007,
 author       = "Hu. Comon and M.~Dauchet and R.~Gilleron and C.~L\"oding and F.~Jacquemard and D.~Lugiez and S.~Tison and M.~Tommasi",
 year         = "2007",
 title        = "{Tree Automata Techniques and Applications}",
 url          = "http://www.grappa.univ-lille3.fr/tata",
 note         = "Release October, 12th 2007",
)
@article(Engelfriet78,
 author       = "J.~Engelfriet",
 year         = "1978",
 title        = "On Tree Transducers for Partial Functions",
 journal      = "Inf. Process. Lett.",
 volume       = "7",
 number       = "4",
 pages        = "170--172",
 url          = "http://dx.doi.org/10.1016/0020-0190(78)90060-1",
)
@article(gesceg1984tree,
 author       = "F.~G{\`e}sceg and M.~Steinby",
 year         = "1984",
 title        = "Tree automata",
 journal      = "Akademiai Kiado",
)
@book(GraedelThoWil02,
 editor       = "E.~Gr{\"a}del and W.~Thomas and T.~Wilke",
 year         = "2002",
 title        = "{Automata, Logics, and Infinite Games}",
 series       = "{Lecture Notes in Compter Science}",
 volume       = "2500",
 publisher    = "{Springer}",
)
@incollection(Graedel03,
 author       = "Erich Gr{\"a}del",
 year         = "2007",
 title        = "{Finite Model Theory and Descriptive Complexity}",
 booktitle    = "{Finite Model Theory and Its Applications}",
 publisher    = "{Springer}",
 pages        = "125--230",
 url          = "http://dx.doi.org/10.1007/3-540-68804-8_3",
)
@incollection(holtmann2010degrees,
 author       = "M.~Holtmann and {\L }.~Kaiser and W.~Thomas",
 year         = "2010",
 title        = "Degrees of lookahead in regular infinite games",
 booktitle    = "Foundations of Software Science and Computational Structures",
 publisher    = "Springer",
 pages        = "252--266",
 url          = "http://dx.doi.org/10.1007/978-3-642-12032-9_18",
)
@inproceedings(hosch1972finite,
 author       = "F.~Hosch and L.~Landweber",
 year         = "1972",
 title        = "Finite Delay Solutions for Sequential Conditions.",
 booktitle    = "ICALP",
 pages        = "45--60",
)
@misc(loedinghabil,
 author       = "C.~L{\"o}ding",
 year         = "2009",
 title        = "{Logic and automata over infinite trees}",
 note         = "Habilitation Thesis, RWTH Aachen, Germany",
)
@article(MiloSV03,
 author       = "T.~Milo and D.~Suciu and V.~Vianu",
 year         = "2003",
 title        = "Typechecking for XML transformers",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "66",
 number       = "1",
 pages        = "66--97",
 url          = "http://dx.doi.org/10.1016/S0022-0000(02)00030-2",
)
@article(ramsey1930problem,
 author       = "F.P. Ramsey",
 year         = "1930",
 title        = "{On a problem of formal logic}",
 journal      = "Proceedings of the London Mathematical Society",
 volume       = "2",
 number       = "1",
 pages        = "264",
 url          = "http://dx.doi.org/10.1007/978-0-8176-4842-8_1",
)
@misc(masterarbeit,
 author       = "S.~Winter",
 year         = "2013",
 title        = "{Uniformization of Automaton Definable Tree Relations}",
 note         = "Masterthesis, RWTH Aachen, Germany",
)