@book(AG11,
 author       = {K.\nobreakspace Apt and E.\nobreakspace Gr{\"a}del},
 year         = {2011},
 title        = {Lectures in Game Theory for Computer Scientists.},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511973468},
)
@inproceedings(BDM16,
 author       = {M.\nobreakspace Benerecetti and D.\nobreakspace Dell'Erba and F.\nobreakspace Mogavero},
 year         = {2016},
 title        = {{Solving Parity Games via Priority Promotion.}},
 booktitle    = {CAV'16},
 series       = {LNCS 9780 (Part II)},
 publisher    = {Springer},
 pages        = {270--290},
 doi          = {10.1007/978-3-319-41540-6\_15},
)
@inproceedings(CDHR10,
 author       = {K.\nobreakspace Chatterjee and L.\nobreakspace Doyen and T.A. Henzinger and J.-F. Raskin},
 year         = {2010},
 title        = {{Generalized Mean-Payoff and Energy Games.}},
 booktitle    = {FSTTCS'10},
 series       = {LIPIcs 8},
 publisher    = {Leibniz-Zentrum fuer Informatik},
 pages        = {505--516},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.505},
)
@article(Con92,
 author       = {A.\nobreakspace Condon},
 year         = {1992},
 title        = {{The Complexity of Stochastic Games.}},
 journal      = {IC},
 volume       = {96},
 number       = {2},
 pages        = {203--224},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.505},
)
@article(EM79,
 author       = {A.\nobreakspace Ehrenfeucht and J.\nobreakspace Mycielski},
 year         = {{1979}},
 title        = {{Positional Strategies for Mean Payoff Games.}},
 journal      = {IJGT},
 volume       = {{8}},
 number       = {{2}},
 doi          = {10.1007/BF01768705},
)
@inproceedings(EJ88,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1988},
 title        = {{The Complexity of Tree Automata and Logics of Programs (Extended Abstract).}},
 booktitle    = {FOCS'88},
 publisher    = {IEEE Computer Society},
 pages        = {328--337},
 doi          = {10.1109/SFCS.1988.21949},
)
@inproceedings(EJ91,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1991},
 title        = {{Tree Automata, muCalculus, and Determinacy.}},
 booktitle    = {FOCS'91},
 publisher    = {IEEE Computer Society},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1988.21949},
)
@inproceedings(EJS93,
 author       = {E.A. Emerson and C.S. Jutla and A.P. Sistla},
 year         = {1993},
 title        = {{On Model Checking for the muCalculus and its Fragments.}},
 booktitle    = {CAV'93},
 series       = {LNCS 697},
 publisher    = {Springer},
 pages        = {385--396},
 doi          = {10.1016/S0304-3975(00)00034-7},
)
@inproceedings(FL09,
 author       = {O.\nobreakspace Friedmann and M.\nobreakspace Lange},
 year         = {2009},
 title        = {{Solving Parity Games in Practice.}},
 booktitle    = {ATVA'09},
 series       = {LNCS 5799},
 publisher    = {Springer},
 pages        = {182--196},
 doi          = {10.1007/978-3-642-04761-9\_15},
)
@book(GTW02,
 author       = {E.\nobreakspace Gr{\"a}del and W.\nobreakspace Thomas and T.\nobreakspace Wilke},
 year         = {2002},
 title        = {{Automata, Logics, and Infinite Games: A Guide to Current Research.}},
 series       = {LNCS 2500},
 publisher    = {Springer},
 doi          = {10.1007/3-540-36387-4},
)
@article(GKK90,
 author       = {V.A. Gurevich and A.V. Karzanov and L.G. Khachivan},
 year         = {1990},
 title        = {{Cyclic Games and an Algorithm to Find Minimax Cycle Means in Directed Graphs.}},
 journal      = {USSRCMMP},
 volume       = {28},
 number       = {5},
 pages        = {85--91},
 doi          = {10.1016/0041-5553(88)90012-2},
)
@article(Jur98,
 author       = {M.\nobreakspace Jurdzi{\'n}ski},
 year         = {1998},
 title        = {{Deciding the Winner in Parity Games is in UP $\cap$ co-UP.}},
 journal      = {IPL},
 volume       = {68},
 number       = {3},
 pages        = {119--124},
 doi          = {10.1016/S0020-0190(98)00150-1},
)
@inproceedings(Jur00,
 author       = {M.\nobreakspace Jurdzi{\'n}ski},
 year         = {2000},
 title        = {{Small Progress Measures for Solving Parity Games.}},
 booktitle    = {STACS'00},
 series       = {LNCS 1770},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/3-540-46541-3\_24},
)
@article(JPZ08,
 author       = {M.\nobreakspace Jurdzi{\'n}ski and M.\nobreakspace Paterson and U.\nobreakspace Zwick},
 year         = {2008},
 title        = {{A Deterministic Subexponential Algorithm for Solving Parity Games.}},
 journal      = {SJM},
 volume       = {38},
 number       = {4},
 pages        = {1519--1532},
 doi          = {10.1137/070686652},
)
@inproceedings(KV98,
 author       = {O.\nobreakspace Kupferman and M.Y. Vardi},
 year         = {1998},
 title        = {{Weak Alternating Automata and Tree Automata Emptiness.}},
 booktitle    = {STOC'98},
 publisher    = {Association for Computing Machinery},
 pages        = {224--233},
 doi          = {10.1145/276698.276748},
)
@article(KVW00,
 author       = {O.\nobreakspace Kupferman and M.Y. Vardi and P.\nobreakspace Wolper},
 year         = {2000},
 title        = {{An Automata Theoretic Approach to Branching-Time Model Checking.}},
 journal      = {JACM},
 volume       = {47},
 number       = {2},
 pages        = {312--360},
 doi          = {10.1145/333979.333987},
)
@inproceedings(Mos84,
 author       = {A.W. Mostowski},
 year         = {1984},
 title        = {{Regular Expressions for Infinite Trees and a Standard Form of Automata.}},
 booktitle    = {SCT'84},
 series       = {LNCS 208},
 publisher    = {Springer},
 pages        = {157--168},
 doi          = {10.1007/3-540-16066-3\_15},
)
@techreport(Mos91,
 author       = {A.W. Mostowski},
 year         = {1991},
 title        = {{Games with Forbidden Positions.}},
 type         = {Technical Report},
 institution  = {University of Gda\'nsk, Gda\'nsk, Poland},
)
@inproceedings(Sch07,
 author       = {S.\nobreakspace Schewe},
 year         = {2007},
 title        = {{Solving Parity Games in Big Steps.}},
 booktitle    = {FSTTCS'07},
 series       = {LNCS 4855},
 publisher    = {Springer},
 pages        = {449--460},
 doi          = {10.1007/978-3-540-77050-3\_37},
)
@inproceedings(Sch08a,
 author       = {S.\nobreakspace Schewe},
 year         = {2008},
 title        = {{An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games.}},
 booktitle    = {CSL'08},
 series       = {LNCS 5213},
 publisher    = {Springer},
 pages        = {369--384},
 doi          = {10.1007/978-3-540-87531-4\_27},
)
@inproceedings(STV15,
 author       = {S.\nobreakspace Schewe and A.\nobreakspace Trivedi and T.\nobreakspace Varghese},
 year         = {2015},
 title        = {{Symmetric Strategy Improvement.}},
 booktitle    = {ICALP'15},
 series       = {LNCS 9135},
 publisher    = {Springer},
 pages        = {388--400},
 doi          = {10.1007/978-3-662-47666-6\_31},
)
@inproceedings(VJ00,
 author       = {J.\nobreakspace V{\"{o}}ge and M.\nobreakspace Jurdzi{\'n}ski},
 year         = {2000},
 title        = {{A Discrete Strategy Improvement Algorithm for Solving Parity Games.}},
 booktitle    = {CAV'00},
 series       = {LNCS 1855},
 publisher    = {Springer},
 pages        = {202--215},
 doi          = {10.1007/10722167\_18},
)
@article(Zie98,
 author       = {W.\nobreakspace Zielonka},
 year         = {1998},
 title        = {{Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees.}},
 journal      = {TCS},
 volume       = {200},
 number       = {1-2},
 pages        = {135--183},
 doi          = {10.1016/S0304-3975(98)00009-7},
)
@article(ZP96,
 author       = {U.\nobreakspace Zwick and M.\nobreakspace Paterson},
 year         = {1996},
 title        = {{The Complexity of Mean Payoff Games on Graphs.}},
 journal      = {TCS},
 volume       = {158},
 number       = {1-2},
 pages        = {343--359},
 doi          = {10.1016/0304-3975(95)00188-3},
)