@inproceedings(BCL07,
 author       = {Achim Blumensath and Thomas Colcombet and Christof L{\"{o}}ding},
 year         = {2008},
 title        = {Logical theories and compatible operations},
 editor       = {J{\"{o}}rg Flum and Erich Gr{\"{a}}del and Thomas Wilke},
 booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]},
 series       = {Texts in Logic and Games},
 volume       = {2},
 publisher    = {Amsterdam University Press},
 pages        = {73--106},
)
@article(BDMS,
 author       = {Miko{\l}aj Boja{\'{n}}czyk and Claire David and Anca Muscholl and Thomas Schwentick and Luc Segoufin},
 year         = {2011},
 title        = {Two-variable logic on data words},
 journal      = {{ACM} Transactions on Computational Logic},
 volume       = {12},
 number       = {4},
 pages        = {27},
 doi          = {10.1145/1970398.1970403},
)
@incollection(Bu62,
 author       = {B\IeC{\"u}chi, J.~Richard},
 year         = {1966},
 title        = {On a Decision Method in Restricted Second Order Arithmetic},
 editor       = {Ernest Nagel and Patrick Suppes and Alfred Tarski},
 booktitle    = {Proceedings of the 1960 International Congress on Logic, Methodology and Philosophy of Science},
 series       = {Studies in Logic and the Foundations of Mathematics},
 volume       = {44},
 publisher    = {Elsevier},
 pages        = {1--11},
 doi          = {10.1016/S0049-237X(09)70564-6},
)
@article(BL69,
 author       = {B\IeC{\"u}chi, J.~Richard and Lawrence~H. Landweber},
 year         = {1969},
 title        = {Solving Sequential Conditions by Finite-State Strategies},
 journal      = {Transactions of the American Mathematical Society},
 volume       = {138},
 pages        = {295--311},
 doi          = {10.2307/1994916},
)
@inproceedings(CarapelleFKL15,
 author       = {Claudia Carapelle and Shiguang Feng and Alexander Kartzow and Markus Lohrey},
 year         = {2015},
 title        = {Satisfiability of ECTL* with Tree Constraints},
 editor       = {Lev~D. Beklemishev and Daniil~V. Musatov},
 booktitle    = {Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9139},
 publisher    = {Springer},
 pages        = {94--108},
 doi          = {10.1007/978-3-319-20297-6\_7},
)
@inproceedings(CarayolH14,
 author       = {Arnaud Carayol and Matthew Hague},
 year         = {2014},
 title        = {Regular Strategies in Pushdown Reachability Games},
 editor       = {Jo{\"{e}}l Ouaknine and Igor Potapov and James Worrell},
 booktitle    = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford, UK, September 22-24, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8762},
 publisher    = {Springer},
 pages        = {58--71},
 doi          = {10.1007/978-3-319-11439-2\_5},
)
@book(CouEng12,
 author       = {Bruno Courcelle and Joost Engelfriet},
 year         = {2012},
 title        = {Graph Structure and Monadic Second-Order Logic - {A} Language-Theoretic Approach},
 series       = {Encyclopedia of Mathematics and its Applications},
 volume       = {138},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511977619},
)
@inproceedings(CST,
 author       = {Christopher Czyba and Christopher Spinrath and Wolfgang Thomas},
 year         = {2015},
 title        = {Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change},
 editor       = {Igor Potapov},
 booktitle    = {Developments in Language Theory - 19th International Conference, {DLT} 2015, Liverpool, UK, July 27-30, 2015, Proceedings.},
 series       = {Lecture Notes in Computer Science},
 volume       = {9168},
 publisher    = {Springer},
 pages        = {203--214},
 doi          = {10.1007/978-3-319-21500-6\_16},
)
@article(DemriLazic,
 author       = {St{\'{e}}phane Demri and Ranko Lazic},
 year         = {2009},
 title        = {{LTL} with the freeze quantifier and register automata},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {10},
 number       = {3},
 doi          = {10.1145/1507244.1507246},
)
@book(EFT94,
 author       = {Heinz{-}Dieter Ebbinghaus and J{\"{o}}rg Flum and Wolfgang Thomas},
 year         = {1994},
 title        = {Mathematical logic {(2.} ed.)},
 series       = {Undergraduate Texts in Mathematics},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-2355-7},
)
@inproceedings(EmersonJutla91,
 author       = {E.~Allen Emerson and Charanjit~S. Jutla},
 year         = {1991},
 title        = {Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)},
 booktitle    = {32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991},
 publisher    = {{IEEE} Computer Society},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1991.185392},
)
@incollection(GaleStewart53,
 author       = {D.~Gale and F.M. Stewart},
 year         = {1953},
 title        = {Infinite games with perfect information},
 booktitle    = {Contributions to the Theory of Games},
 series       = {Ann. Math. Studies},
 publisher    = {Princeton Univ. Press, Princeton, N.J.},
 pages        = {245--266},
 doi          = {10.1515/9781400881970-014},
)
@inproceedings(GrLe12,
 author       = {Erich Gr{\"{a}}del and Le{\ss}enich, Simon},
 year         = {2012},
 title        = {Banach-Mazur Games with Simple Winning Strategies},
 editor       = {Patrick C{\'{e}}gielski and Arnaud Durand},
 booktitle    = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau, France},
 series       = {LIPIcs},
 volume       = {16},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {305--319},
 doi          = {10.4230/LIPIcs.CSL.2012.305},
)
@article(KF,
 author       = {Michael Kaminski and Nissim Francez},
 year         = {1994},
 title        = {Finite-Memory Automata},
 journal      = {Theoretical Computer Science},
 volume       = {134},
 number       = {2},
 pages        = {329--363},
 doi          = {10.1016/0304-3975(94)90242-9},
)
@book(Kechris,
 author       = {Alexander~S. Kechris},
 year         = {1995},
 title        = {Classical {Descriptive} {Set} {Theory}},
 series       = {Graduate {Texts} in {Mathematics}},
 volume       = {156},
 publisher    = {Springer New York},
 address      = {New York, NY},
 doi          = {10.1007/978-1-4612-4190-4},
)
@book(Moschovakis,
 author       = {Yiannis~N. Moschovakis},
 year         = {2009},
 title        = {Descriptive set theory},
 volume       = {155},
 publisher    = {American Mathematical Soc.},
 doi          = {10.1090/surv/155},
)
@incollection(Tho97,
 author       = {Wolfgang Thomas},
 year         = {1997},
 title        = {Languages, {Automata}, and {Logic}},
 editor       = {Grzegorz Rozenberg and Arto Salomaa},
 booktitle    = {Handbook of {Formal} {Languages}},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {389--455},
 doi          = {10.1007/978-3-642-59126-6\_7},
)
@article(Walpushdown,
 author       = {Igor Walukiewicz},
 year         = {2001},
 title        = {Pushdown Processes: Games and Model-Checking},
 journal      = {Information and Computation},
 volume       = {164},
 number       = {2},
 pages        = {234--263},
 doi          = {10.1006/inco.2000.2894},
)
@article(Wal02,
 author       = {Igor Walukiewicz},
 year         = {2002},
 title        = {Monadic second-order logic on tree-like structures},
 journal      = {Theoretical Computer Science},
 volume       = {275},
 number       = {1-2},
 pages        = {311--346},
 doi          = {10.1016/S0304-3975(01)00185-2},
)