@article(AHK02,
 author       = {R.\nobreakspace Alur and T.A. Henzinger and O.\nobreakspace Kupferman},
 year         = {2002},
 title        = {{Alternating-Time Temporal Logic.}},
 journal      = {JACM},
 volume       = {49},
 number       = {5},
 pages        = {672--713},
 doi          = {10.1145/585265.585270},
)
@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(Bab16,
 author       = {L.\nobreakspace Babai},
 year         = {2016},
 title        = {{Graph Isomorphism in Quasipolynomial Time [Extended Abstract].}},
 booktitle    = {STOC'16},
 publisher    = {ACM},
 pages        = {684--697},
 doi          = {10.1145/2897518.2897542},
)
@unpublished(BDM?,
 author       = {M.\nobreakspace Benerecetti and D.\nobreakspace Dell'Erba and F.\nobreakspace Mogavero},
 title        = {{Solving Parity Games via Priority Promotion.}},
 note         = {Under submission.},
)
@inproceedings(BDM16a,
 author       = {M.\nobreakspace Benerecetti and D.\nobreakspace Dell'Erba and F.\nobreakspace Mogavero},
 year         = {2016},
 title        = {{A Delayed Promotion Policy for Parity Games.}},
 booktitle    = {GANDALF16},
 series       = {EPTCS 226},
 pages        = {30--45},
 doi          = {10.4204/EPTCS.226.3},
)
@inproceedings(BDM16b,
 author       = {M.\nobreakspace Benerecetti and D.\nobreakspace Dell'Erba and F.\nobreakspace Mogavero},
 year         = {2016},
 title        = {{Improving Priority Promotion for Parity Games.}},
 booktitle    = {HVC'16},
 series       = {LNCS 10028},
 publisher    = {Springer},
 pages        = {1--17},
 doi          = {10.1007/978-3-319-49052-6\_8},
)
@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(BMM13,
 author       = {M.\nobreakspace Benerecetti and F.\nobreakspace Mogavero and A.\nobreakspace Murano},
 year         = {2013},
 title        = {{Substructure Temporal Logic.}},
 booktitle    = {LICS'13},
 publisher    = {IEEECS},
 pages        = {368--377},
 doi          = {10.1109/LICS.2013.43},
)
@article(BMM15,
 author       = {M.\nobreakspace Benerecetti and F.\nobreakspace Mogavero and A.\nobreakspace Murano},
 year         = {2015},
 title        = {{Reasoning About Substructures and Games.}},
 journal      = {TOCL},
 volume       = {16},
 number       = {3},
 pages        = {25:1--46},
 doi          = {10.1109/LICS.2013.43},
)
@article(BG04,
 author       = {D.\nobreakspace Berwanger and E.\nobreakspace Gr{\"a}del},
 year         = {2004},
 title        = {{Fixed-Point Logics and Solitaire Games.}},
 journal      = {TCS},
 volume       = {37},
 number       = {6},
 pages        = {675--694},
 doi          = {10.1007/s00224-004-1147-5},
)
@inproceedings(CJKLS17,
 author       = {C.S. Calude and S.\nobreakspace Jain and B.\nobreakspace Khoussainov and W.\nobreakspace Li and F.\nobreakspace Stephan},
 year         = {2017},
 title        = {{Deciding Parity Games in Quasipolynomial Time.}},
 booktitle    = {STOC'17},
 publisher    = {ACM},
 pages        = {252--263},
 doi          = {10.1145/3055399.3055409},
)
@article(CHP10,
 author       = {K.\nobreakspace Chatterjee and T.A. Henzinger and N.\nobreakspace Piterman},
 year         = {2010},
 title        = {{Strategy Logic.}},
 journal      = {IC},
 volume       = {208},
 number       = {6},
 pages        = {677--693},
 doi          = {10.1016/j.ic.2009.07.004},
)
@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(EJ91,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1991},
 title        = {{Tree Automata, muCalculus, and Determinacy.}},
 booktitle    = {FOCS'91},
 publisher    = {IEEECS},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1988.21949},
)
@article(EJS01,
 author       = {E.A. Emerson and C.S. Jutla and A.P. Sistla},
 year         = {2001},
 title        = {{On Model Checking for the muCalculus and its Fragments.}},
 journal      = {TCS},
 volume       = {258},
 number       = {1-2},
 pages        = {491--522},
 doi          = {10.1016/S0304-3975(00)00034-7},
)
@inproceedings(EL86,
 author       = {E.A. Emerson and C.-L. Lei},
 year         = {1986},
 title        = {{Temporal Reasoning Under Generalized Fairness Constraints.}},
 booktitle    = {STACS'86},
 series       = {LNCS 210},
 publisher    = {Springer},
 pages        = {267--278},
 doi          = {10.1007/3-540-16078-7\_62},
)
@inproceedings(FJSSW17,
 author       = {J.\nobreakspace Fearnley and S.\nobreakspace Jain and S.\nobreakspace Schewe and F.\nobreakspace Stephan and D.\nobreakspace Wojtczak},
 year         = {2017},
 title        = {{An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space.}},
 booktitle    = {SPIN'17},
 publisher    = {ACM},
 pages        = {112--121},
 doi          = {10.1145/3092282.3092286},
)
@article(Fri11a,
 author       = {O.\nobreakspace Friedmann},
 year         = {2011},
 title        = {{Recursive Algorithm for Parity Games Requires Exponential Time.}},
 journal      = {RAIROTIA},
 volume       = {45},
 number       = {4},
 pages        = {449--457},
 doi          = {10.1051/ita/2011124},
)
@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. Gurvich 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},
)
@inproceedings(JL17,
 author       = {M.\nobreakspace Jurdzi{\'n}ski and R.\nobreakspace Lazic},
 year         = {2017},
 title        = {{Succinct Progress Measures for Solving Parity Games.}},
 booktitle    = {LICS'17},
 publisher    = {ACM},
 pages        = {1--9},
 doi          = {10.1109/LICS.2017.8005092},
)
@inproceedings(JPZ06,
 author       = {M.\nobreakspace Jurdzi{\'n}ski and M.\nobreakspace Paterson and U.\nobreakspace Zwick},
 year         = {2006},
 title        = {{A Deterministic Subexponential Algorithm for Solving Parity Games.}},
 booktitle    = {SODA'06},
 publisher    = {SIAM},
 pages        = {117--123},
 doi          = {10.1145/1109557.1109571},
)
@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(KK91,
 author       = {N.\nobreakspace Klarlund and D.\nobreakspace Kozen},
 year         = {1991},
 title        = {{Rabin Measures and Their Applications to Fairness and Automata Theory}},
 booktitle    = {LICS'91},
 publisher    = {IEEECS},
 pages        = {256--265},
 doi          = {10.1109/LICS.1991.151650},
)
@inproceedings(KV98,
 author       = {O.\nobreakspace Kupferman and M.Y. Vardi},
 year         = {1998},
 title        = {{Weak Alternating Automata and Tree Automata Emptiness.}},
 booktitle    = {STOC'98},
 publisher    = {ACM},
 pages        = {224--233},
 doi          = {10.1145/276698.276748},
)
@article(Mar75,
 author       = {A.D. Martin},
 year         = {1975},
 title        = {{Borel Determinacy.}},
 journal      = {AM},
 volume       = {102},
 number       = {2},
 pages        = {363--371},
)
@inproceedings(Mar85,
 author       = {A.D. Martin},
 year         = {1985},
 title        = {{A Purely Inductive Proof of Borel Determinacy.}},
 booktitle    = {SPM'82},
 series       = {{Recursion Theory.}},
 publisher    = {AMS and ASL},
 pages        = {303--308},
)
@article(McN93,
 author       = {R.\nobreakspace McNaughton},
 year         = {1993},
 title        = {{Infinite Games Played on Finite Graphs.}},
 journal      = {APAL},
 volume       = {65},
 pages        = {149--184},
 doi          = {10.1016/0168-0072(93)90036-D},
)
@inproceedings(MMPV12,
 author       = {F.\nobreakspace Mogavero and A.\nobreakspace Murano and G.\nobreakspace Perelli and M.Y. Vardi},
 year         = {2012},
 title        = {{What Makes ATL* Decidable? A Decidable Fragment of Strategy Logic.}},
 booktitle    = {CONCUR'12},
 series       = {LNCS 7454},
 publisher    = {Springer},
 pages        = {193--208},
 doi          = {10.1007/978-3-642-32940-1\_15},
)
@article(MMPV14,
 author       = {F.\nobreakspace Mogavero and A.\nobreakspace Murano and G.\nobreakspace Perelli and M.Y. Vardi},
 year         = {2014},
 title        = {{Reasoning About Strategies: On the Model-Checking Problem.}},
 journal      = {TOCL},
 volume       = {15},
 number       = {4},
 pages        = {34:1--42},
 doi          = {10.1145/2631917},
)
@article(MMPV17,
 author       = {F.\nobreakspace Mogavero and A.\nobreakspace Murano and G.\nobreakspace Perelli and M.Y. Vardi},
 year         = {2017},
 title        = {{Reasoning About Strategies: On the Satisfiability Problem.}},
 journal      = {LMCS},
 volume       = {13},
 number       = {1:9},
 pages        = {1--37},
 doi          = {10.23638/LMCS-13(1:9)2017},
)
@inproceedings(MMV10a,
 author       = {F.\nobreakspace Mogavero and A.\nobreakspace Murano and M.Y. Vardi},
 year         = {2010},
 title        = {{Reasoning About Strategies.}},
 booktitle    = {FSTTCS'10},
 series       = {LIPIcs 8},
 publisher    = {Leibniz-Zentrum fuer Informatik},
 pages        = {133--144},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.133},
)
@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{\'n}sk, Gda{\'n}sk, Poland},
)
@techreport(NS17,
 author       = {D.\nobreakspace Neuen and P.\nobreakspace Schweitzer},
 year         = {2017},
 title        = {{An Exponential Lower Bound for Individualization-Refinement Algorithms for Graph Isomorphism.}},
 type         = {Technical Report},
 institution  = {arXiv},
)
@techreport(NS17a,
 author       = {D.\nobreakspace Neuen and P.\nobreakspace Schweitzer},
 year         = {2017},
 title        = {{Benchmark Graphs for Practical Graph Isomorphism.}},
 type         = {Technical Report},
 institution  = {arXiv},
)
@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(Sch08,
 author       = {S.\nobreakspace Schewe},
 year         = {2008},
 title        = {{ATL* Satisfiability is 2ExpTime-Complete.}},
 booktitle    = {ICALP'08},
 series       = {LNCS 5126},
 publisher    = {Springer},
 pages        = {373--385},
 doi          = {10.1007/978-3-540-70583-3\_31},
)
@inproceedings(SF06,
 author       = {S.\nobreakspace Schewe and B.\nobreakspace Finkbeiner},
 year         = {2006},
 title        = {{Satisfiability and Finite Model Property for the Alternating-Time muCalculus.}},
 booktitle    = {CSL'06},
 series       = {LNCS 6247},
 publisher    = {Springer},
 pages        = {591--605},
 doi          = {10.1007/11874683\_39},
)
@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(Wil01,
 author       = {T.\nobreakspace Wilke},
 year         = {2001},
 title        = {{Alternating Tree Automata, Parity Games, and Modal muCalculus.}},
 journal      = {BBMS},
 volume       = {8},
 number       = {2},
 pages        = {359--391},
)
@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},
)