@article(AVW:03,
 author       = {A. Arnold and A. Vincent and I. Walukiewicz},
 year         = {2003},
 title        = {{Games for synthesis of controllers with partial observation}},
 journal      = {TCS},
 volume       = {303},
 number       = {1},
 pages        = {7--34},
 doi          = {10.1016/S0304-3975(02)00442-5},
)
@article(BCDGR:11,
 author       = {L. Brim and J. Chaloupka and L. Doyen and R. Gentilini and J.{-}F. Raskin},
 year         = {2011},
 title        = {Faster algorithms for mean-payoff games},
 journal      = {Formal Methods in System Design},
 volume       = {38},
 number       = {2},
 pages        = {97--118},
 doi          = {10.1007/s10703-010-0105-x},
)
@inproceedings(EJ:91,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1991},
 title        = {Tree automata, Mu-Calculus and determinacy},
 booktitle    = {FOCS'91},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1991.185392},
)
@inproceedings(EJS:93,
 author       = {E.A. Emerson and C.S. Jutla and A.P. Sistla},
 year         = {1993},
 title        = {On Model-Checking for Fragments of $\mu$-Calculus},
 booktitle    = {CAV},
 series       = {Lecture Notes in Computer Science},
 volume       = {697},
 publisher    = {Springer},
 pages        = {385--396},
 doi          = {10.1007/3-540-56922-7\_32},
)
@inproceedings(Fea:10,
 author       = {J. Fearnley},
 year         = {2010},
 title        = {Non-oblivious Strategy Improvement},
 booktitle    = {LPAR-16},
 series       = {Lecture Notes in Computer Science},
 volume       = {6355},
 publisher    = {Springer},
 pages        = {212--230},
 doi          = {10.1007/978-3-642-17511-4\_13},
)
@article(Fri:11,
 author       = {O. Friedmann},
 year         = {2011},
 title        = {Recursive algorithm for parity games requires exponential time},
 journal      = {RAIRO -- Theor. Inf. and Applic.},
 volume       = {45},
 number       = {4},
 pages        = {449--457},
 doi          = {10.1051/ita/2011124},
)
@inproceedings(FL:09,
 author       = {O. Friedmann and M. Lange},
 year         = {2009},
 title        = {Solving Parity Games in Practice},
 booktitle    = {ATVA},
 series       = {Lecture Notes in Computer Science},
 volume       = {5799},
 publisher    = {Springer},
 pages        = {182--196},
 doi          = {10.1007/978-3-642-04761-9\_15},
)
@inproceedings(GW:13,
 author       = {M. Gazda and T.A.C. Willemse},
 year         = {2013},
 title        = {Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {119},
 pages        = {7--20},
 doi          = {10.4204/EPTCS.119.4},
)
@misc(GW:14,
 author       = {M. Gazda and T.A.C. Willemse},
 year         = {2014},
 title        = {Strategy Derivation for Small Progress Measures},
 note         = {\url{http://arxiv.org/abs/1407.2149}},
)
@proceedings(2001automata,
 editor       = {E. Gr{\"a}del and W. Thomas and T. Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games: A Guide to Current Research},
 series       = {Lecture Notes in Computer Science},
 volume       = {2500},
 publisher    = {Springer},
)
@incollection(Jur:00,
 author       = {M. Jurdzi{\'n}ski},
 year         = {2000},
 title        = {Small Progress Measures for Solving Parity Games},
 booktitle    = {STACS'00},
 series       = {Lecture Notes in Computer Science},
 volume       = {1770},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/3-540-46541-3\_24},
)
@inproceedings(JPZ:06,
 author       = {M. Jurdzi\'nski and M. Paterson and U. Zwick},
 year         = {2006},
 title        = {{A Deterministic Subexponential Algorithm for Solving Parity Games}},
 booktitle    = {SODA'06},
 publisher    = {ACM/SIAM},
 pages        = {117--123},
 doi          = {10.1145/1109557.1109571},
)
@incollection(Klau:01,
 author       = {H. Klauck},
 year         = {2001},
 title        = {Algorithms for Parity Games},
 booktitle    = {Automata, Logics, and Infinite Games: {A} Guide to Current Research},
 chapter      = {7},
 series       = {Lecture Notes in Computer Science},
 volume       = {2500},
 publisher    = {Springer},
 pages        = {107--129},
 doi          = {10.1007/3-540-36387-4\_7},
)
@article(McN:93,
 author       = {R. McNaughton},
 year         = {1993},
 title        = {Infinite games played on finite graphs},
 journal      = {APAL},
 volume       = {65},
 number       = {2},
 pages        = {149--184},
 doi          = {10.1016/0168-0072(93)90036-D},
)
@inproceedings(Sch:07,
 author       = {S. Schewe},
 year         = {2007},
 title        = {Solving Parity Games in Big Steps},
 booktitle    = {FSTTCS'07},
 series       = {Lecture Notes in Computer Science},
 volume       = {4855},
 publisher    = {Springer},
 pages        = {449--460},
 doi          = {10.1007/978-3-540-77050-3\_37},
)
@inproceedings(Sch:08,
 author       = {S. Schewe},
 year         = {2008},
 title        = {An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games},
 booktitle    = {CSL},
 series       = {Lecture Notes in Computer Science},
 volume       = {5213},
 publisher    = {Springer},
 pages        = {369--384},
 doi          = {10.1007/978-3-540-87531-4\_27},
)
@inproceedings(STV:15,
 author       = {S. Schewe and A. Trivedi and T. Varghese},
 year         = {2015},
 title        = {Symmetric Strategy Improvement},
 booktitle    = {ICALP},
 series       = {Lecture Notes in Computer Science},
 volume       = {9135},
 publisher    = {Springer},
 pages        = {388--400},
 doi          = {10.1007/978-3-662-47666-6\_31},
)
@inproceedings(SS:98,
 author       = {P. Stevens and C. Stirling},
 year         = {1998},
 title        = {Practical Model Checking Using Games},
 booktitle    = {TACAS'98},
 series       = {Lecture Notes in Computer Science},
 volume       = {1384},
 publisher    = {Springer},
 pages        = {85--101},
 doi          = {10.1007/BFb0054166},
)
@inproceedings(VJ:00,
 author       = {J. V{\"{o}}ge and M. Jurdzi\'{n}ski},
 year         = {2000},
 title        = {A Discrete Strategy Improvement Algorithm for Solving Parity Games},
 booktitle    = {CAV},
 series       = {Lecture Notes in Computer Science},
 volume       = {1855},
 publisher    = {Springer},
 pages        = {202--215},
 doi          = {10.1007/10722167\_18},
)
@article(Zie:98,
 author       = {W. 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},
)