@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(BG:01,
 author       = "D. Berwanger and E. Gr{\"a}del",
 year         = "2001",
 title        = "Games and Model Checking for Guarded Logics",
 booktitle    = "LPAR",
 series       = "LNCS",
 volume       = "2250",
 publisher    = "Springer",
 pages        = "70--84",
 doi          = "10.1007/3-540-45653-8\_5",
)
@article(BG:04,
 author       = "D. Berwanger and E. Gr{\"a}del",
 year         = "2004",
 title        = "Fixed-Point Logics and Solitaire Games",
 journal      = "Theory Comput. Syst.",
 volume       = "37",
 number       = "6",
 pages        = "675--694",
 url          = "http://dx.doi.org/10.1007/s00224-004-1147-5",
)
@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 Boolean Equation Systems}",
 booktitle    = "CONCUR'07",
 pages        = "120--135",
 doi          = "10.1007/978-3-540-74407-8\_9",
)
@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",
)
@article(EJS:01,
 author       = "E.A. Emerson and C.S. Jutla and A.P. Sistla",
 year         = "2001",
 title        = "On model checking for the $\mu $-calculus and its fragments",
 journal      = "Theor. Comput. Sci.",
 volume       = "258",
 number       = "1-2",
 pages        = "491--522",
 doi          = "10.1016/S0304-3975(00)00034-7",
)
@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",
)
@incollection(FL:09,
 author       = "O. Friedmann and M. Lange",
 year         = "2009",
 title        = "Solving Parity Games in Practice",
 booktitle    = "ATVA'09",
 series       = "LNCS",
 volume       = "5799",
 publisher    = "Springer",
 pages        = "182--196",
 doi          = "10.1007/978-3-642-04761-9\_15",
)
@inproceedings(GK:05,
 author       = "J.F. Groote and M. Kein{\"a}nen",
 year         = "2005",
 title        = "A Sub-quadratic Algorithm for Conjunctive and Disjunctive {B}oolean Equation Systems",
 booktitle    = "ICTAC",
 series       = "LNCS",
 volume       = "3722",
 publisher    = "Springer",
 pages        = "532--545",
 doi          = "10.1007/11560647\_35",
)
@article(Jur:98,
 author       = "M. Jurdzi\'nski",
 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",
)
@incollection(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(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",
)
@mastersthesis(Kei:09,
 author       = "J.J.A. Keiren",
 year         = "2009",
 title        = "An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems",
 school       = "Eindhoven University of Technology",
)
@inproceedings(KKV:01,
 author       = "V. King and O. Kupferman and M.Y. Vardi",
 year         = "2001",
 title        = "On the Complexity of Parity Word Automata",
 booktitle    = "FoSSaCS",
 series       = "LNCS",
 volume       = "2030",
 publisher    = "Springer",
 pages        = "276--286",
 doi          = "10.1007/3-540-45315-6\_18",
)
@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       = "LNCS",
 volume       = "4855",
 publisher    = "Springer",
 pages        = "449--460",
 doi          = "10.1007/978-3-540-77050-3",
)
@article(Tar:72,
 author       = "R.E. Tarjan",
 year         = "1972",
 title        = "Depth-First Search and Linear Graph Algorithms",
 journal      = "SIAM J. Comput.",
 volume       = "1",
 number       = "2",
 pages        = "146--160",
 doi          = "10.1137/0201010",
)
@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",
)