@inproceedings(AlfaroF07,
 author       = {L. de Alfaro and M. Faella},
 year         = {2007},
 title        = {An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games},
 booktitle    = {{CAV}},
 series       = {LNCS},
 volume       = {4590},
 publisher    = {Springer},
 pages        = {108--120},
 doi          = {10.1007/978-3-540-73368-3\_13},
)
@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},
)
@inproceedings(BakeraEKR08,
 author       = {M. Bakera and S. Edelkamp and P. Kissmann and C.D. Renner},
 year         = {2008},
 title        = {Solving {$\mathrm{\mu}$}-Calculus Parity Games by Symbolic Planning},
 booktitle    = {MoChArt},
 series       = {LNCS},
 volume       = {5348},
 publisher    = {Springer},
 pages        = {15--33},
 doi          = {10.1007/978-3-642-00431-5\_2},
)
@inproceedings(BenerecettiDM16a,
 author       = {M. Benerecetti and D. Dell'Erba and F. Mogavero},
 year         = {2016},
 title        = {A Delayed Promotion Policy for Parity Games},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {226},
 pages        = {30--45},
 doi          = {10.4204/EPTCS.226.3},
)
@inproceedings(BenerecettiDM16b,
 author       = {M. Benerecetti and D. Dell'Erba and F. Mogavero},
 year         = {2016},
 title        = {Improving Priority Promotion for Parity Games},
 booktitle    = {Haifa Verification Conference},
 series       = {LNCS},
 volume       = {10028},
 pages        = {117--133},
 doi          = {10.1007/978-3-319-49052-6\_8},
)
@inproceedings(BenerecettiDM16,
 author       = {M. Benerecetti and D. Dell'Erba and F. Mogavero},
 year         = {2016},
 title        = {Solving Parity Games via Priority Promotion},
 booktitle    = {{CAV} {(2)}},
 series       = {LNCS},
 volume       = {9780},
 publisher    = {Springer},
 pages        = {270--290},
 doi          = {10.1007/978-3-319-41540-6\_15},
)
@inproceedings(BerwangerCWDH09,
 author       = {D. Berwanger and K. Chatterjee and M. De Wulf and L. Doyen and T.A. Henzinger},
 year         = {2009},
 title        = {Alpaga: {A} Tool for Solving Parity Games with Imperfect Information},
 booktitle    = {{TACAS}},
 series       = {LNCS},
 volume       = {5505},
 publisher    = {Springer},
 pages        = {58--61},
 doi          = {10.1007/978-3-642-00768-2\_7},
)
@inproceedings(BruseFL14,
 author       = {F. Bruse and M. Falk and M. Lange},
 year         = {2014},
 title        = {The Fixpoint-Iteration Algorithm for Parity Games},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {161},
 pages        = {116--130},
 url          = {https://doi.org/10.4204/EPTCS.161.12},
)
@inproceedings(BustanKV04,
 author       = {D. Bustan and O. Kupferman and M.Y. Vardi},
 year         = {2004},
 title        = {A Measured Collapse of the Modal {$\mathrm{\mu}$}-Calculus Alternation Hierarchy},
 booktitle    = {{STACS}},
 series       = {LNCS},
 volume       = {2996},
 publisher    = {Springer},
 pages        = {522--533},
 doi          = {10.1007/978-3-540-24749-4\_46},
)
@inproceedings(Calude,
 author       = {C.S. Calude and S. Jain and B. Khoussainov and W. Li and F. Stephan},
 year         = {2017},
 title        = {Deciding Parity Games in Quasipolynomial Time},
 booktitle    = {{STOC}},
 publisher    = {{ACM}},
 pages        = {252--263},
 doi          = {10.1145/3055399.3055409},
)
@inproceedings(ChatterjeeDHL17,
 author       = {K. Chatterjee and W. Dvor{\'{a}}k and M. Henzinger and V. Loitzenbauer},
 year         = {2017},
 title        = {Improved Set-Based Symbolic Algorithms for Parity Games},
 booktitle    = {{CSL}},
 series       = {LIPIcs},
 volume       = {82},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {18:1--18:21},
 doi          = {10.4230/LIPIcs.CSL.2017.18},
)
@inproceedings(CPPW:07,
 author       = {T. Chen and B. Ploeger and J. van de Pol and T.A.C. Willemse},
 year         = {2007},
 title        = {{Equivalence Checking for Infinite Systems Using Parameterized {B}oolean Equation Systems}},
 booktitle    = {CONCUR'07},
 pages        = {120--135},
 doi          = {10.1007/978-3-540-74407-8\_9},
)
@inproceedings(CranenGKSVWW13,
 author       = {S. Cranen and J.F. Groote and J.J.A. Keiren and F. Stappers and E.P. de Vink and W. Wesselink and T.A.C. Willemse},
 year         = {2013},
 title        = {An Overview of the mCRL2 Toolset and Its Recent Advances},
 booktitle    = {{TACAS}},
 series       = {LNCS},
 volume       = {7795},
 publisher    = {Springer},
 pages        = {199--213},
 doi          = {10.1007/978-3-642-36742-7\_15},
)
@inproceedings(Dijk,
 author       = {T. van Dijk},
 year         = {2018},
 title        = {Oink: An Implementation and Evaluation of Modern Parity Game Solvers},
 booktitle    = {{TACAS} {(1)}},
 series       = {LNCS},
 volume       = {10805},
 publisher    = {Springer},
 pages        = {291--308},
 doi          = {10.1007/978-3-319-89960-2\_16},
)
@book(DrechslerB98,
 author       = {R. Drechsler and B. Becker},
 year         = {1998},
 title        = {Binary Decision Diagrams - Theory and Implementation},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-2892-7},
)
@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(FearnleyJS0W17,
 author       = {J. Fearnley and S. Jain and S. Schewe and F. Stephan and D. Wojtczak},
 year         = {2017},
 title        = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space},
 booktitle    = {{SPIN}},
 publisher    = {{ACM}},
 pages        = {112--121},
 doi          = {10.1145/3092282.3092286},
)
@inproceedings(FriedmannL09,
 author       = {O. Friedmann and M. Lange},
 year         = {2009},
 title        = {Solving Parity Games in Practice},
 booktitle    = {{ATVA}},
 series       = {LNCS},
 volume       = {5799},
 publisher    = {Springer},
 pages        = {182--196},
 doi          = {10.1007/978-3-642-04761-9\_15},
)
@inproceedings(GazdaW13,
 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},
)
@article(GrooteW05,
 author       = {J.F. Groote and T.A.C. Willemse},
 year         = {2005},
 title        = {Parameterised Boolean Equation Systems},
 journal      = {Theor. Comput. Sci.},
 volume       = {343},
 number       = {3},
 pages        = {332--369},
 doi          = {10.1016/j.tcs.2005.06.016},
)
@inproceedings(Jur:00,
 author       = {M. Jurdzi{\'n}ski},
 year         = {2000},
 title        = {Small Progress Measures for Solving Parity Games},
 booktitle    = {STACS'00},
 series       = {LNCS},
 volume       = {1770},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/3-540-46541-3\_24},
)
@inproceedings(JurdzinskiL17,
 author       = {M. Jurdzi{\'n}ski and R. Lazic},
 year         = {2017},
 title        = {Succinct Progress Measures for Solving Parity Games},
 booktitle    = {{LICS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {1--9},
 doi          = {10.1109/LICS.2017.8005092},
)
@inproceedings(KantP14,
 author       = {G. Kant and J. van de Pol},
 year         = {2014},
 title        = {Generating and Solving Symbolic Parity Games},
 booktitle    = {{GRAPHITE}},
 series       = {{EPTCS}},
 volume       = {159},
 pages        = {2--14},
 doi          = {10.4204/EPTCS.159.2},
)
@inproceedings(Keiren,
 author       = {J.J.A. Keiren},
 year         = {2015},
 title        = {Benchmarks for Parity Games},
 booktitle    = {{FSEN}},
 series       = {LNCS},
 volume       = {9392},
 publisher    = {Springer},
 pages        = {127--142},
 doi          = {10.1007/978-3-319-24644-4\_9},
)
@inproceedings(KupfermanV98,
 author       = {O. Kupferman and M.Y. Vardi},
 year         = {1998},
 title        = {Weak Alternating Automata and Tree Automata Emptiness},
 booktitle    = {{STOC}},
 publisher    = {{ACM}},
 pages        = {224--233},
 doi          = {10.1145/276698.276748},
)
@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},
)
@article(Seidl96,
 author       = {H. Seidl},
 year         = {1996},
 title        = {Fast and Simple Nested Fixpoints},
 journal      = {Inf. Process. Lett.},
 volume       = {59},
 number       = {6},
 pages        = {303--308},
 doi          = {10.1016/0020-0190(96)00130-5},
)
@inproceedings(StasioMPV16,
 author       = {A. Di Stasio and A. Murano and G. Perelli and M.Y. Vardi},
 year         = {2016},
 title        = {Solving Parity Games Using an Automata-Based Algorithm},
 booktitle    = {{CIAA}},
 series       = {LNCS},
 volume       = {9705},
 publisher    = {Springer},
 pages        = {64--76},
 doi          = {10.1007/978-3-319-40946-7\_6},
)
@book(Wegener00,
 author       = {I. Wegener},
 year         = {2000},
 title        = {Branching programs and binary decision diagrams},
 publisher    = {{SIAM}},
 doi          = {10.1137/1.9780898719789},
)
@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},
)