@inproceedings(BGK03,
 author       = "Dietmar Berwanger and Erich Gr{\"a}del and Stephan Kreutzer",
 year         = "2003",
 title        = "Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games",
 booktitle    = "LPAR",
 series       = "Lecture Notes in Computer Science",
 volume       = "2850",
 publisher    = "Springer",
 pages        = "229--243",
 doi          = "10.1007/978-3-540-39813-4\_16",
)
@inproceedings(BC06,
 author       = "Mikolaj Bojanczyk and Thomas Colcombet",
 year         = "2006",
 title        = "Bounds in w-Regularity",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "285--296",
 doi          = "10.1109/LICS.2006.17",
)
@inproceedings(Gr08,
 author       = "Erich Gr{\"a}del",
 year         = "2008",
 title        = "Banach-Mazur Games on Graphs",
 booktitle    = "FSTTCS",
 series       = "LIPIcs",
 volume       = "2",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "364--382",
 doi          = "10.4230/LIPIcs.FSTTCS.2008.1768",
)
@inproceedings(GL12,
 author       = "Erich Gr{\"a}del and Simon Le{\ss }enich",
 year         = "2012",
 title        = "Banach-Mazur Games with Simple Winning Strategies",
 booktitle    = "CSL",
 series       = "LIPIcs",
 volume       = "16",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "305--319",
 doi          = "10.4230/LIPIcs.CSL.2012.305",
)
@proceedings(lncs2500,
 editor       = "Erich Gr{\"a}del and Wolfgang {\relax Th}omas and {\relax Th}omas Wilke",
 year         = "2002",
 title        = "Automata, Logics, and Infinite Games: A Guide to Current Research",
 series       = "LNCS",
 volume       = "2500",
 publisher    = "Springer",
)
@article(HS12,
 author       = "Szczepan Hummel and Micha{\l } Skrzypczak",
 year         = "2012",
 title        = "The topological complexity of {MSO}+{U} and related automata models",
 journal      = "Fund. Inform.",
 volume       = "119",
 number       = "1",
 pages        = "87--111",
 doi          = "10.3233/FI-2012-728",
)
@inproceedings(HST10,
 author       = "Szczepan Hummel and Micha\l {} Skrzypczak and Szymon Torunczyk",
 year         = "2010",
 title        = "On the Topological Complexity of MSO+U and Related Automata Models",
 booktitle    = "MFCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "6281",
 publisher    = "Springer",
 pages        = "429--440",
 doi          = "10.1007/978-3-642-15155-2\_38",
)
@article(oxtoby57,
 author       = "John C. Oxtoby",
 year         = "1957",
 title        = "The {B}anach-{M}azur Game and {B}anach Category Theorem",
 journal      = "Annals of Mathematical Studies",
 volume       = "39",
 pages        = "159--163",
 note         = "Contributions to the Theory of Games, volume 3",
)
@inproceedings(VV06,
 author       = "Daniele Varacca and Hagen V{\"o}lzer",
 year         = "2006",
 title        = "Temporal Logics and Model Checking for Fairly Correct Systems.",
 booktitle    = "Proc. 21st Ann.\ Symp.\ Logic in Computer Science (LICS'06)",
 publisher    = "IEEE Comp.\ Soc.\ Press",
 pages        = "389--398",
 doi          = "10.1109/LICS.2006.49",
)