@article(AVW-TCS03,
 author       = "A. Arnold and A. Vincent and I. Walukiewicz",
 year         = "2003",
 title        = "Games for synthesis of controllers with partial observation",
 journal      = "Theor.~Comput.~Sci.",
 volume       = "303",
 number       = "1",
 pages        = "7--34",
 doi          = "10.1016/S0304-3975(02)00442-5",
)
@article(journals/tcs/BjorklundV05,
 author       = "H. Bj{\"o}rklund and S. G. Vorobyov",
 year         = "2005",
 title        = "Combinatorial structure and randomized subexponential algorithms for infinite games",
 journal      = "Theor. Comput. Sci",
 volume       = "349",
 number       = "3",
 pages        = "347--360",
 doi          = "10.1016/j.tcs.2005.07.041",
)
@article(Browne:1997:IAE,
 author       = "A. Browne and E. M. Clarke and S. Jha and D. E. Long and W. Marrero",
 year         = "1997",
 title        = "An improved algorithm for the evaluation of fixpoint expressions",
 journal      = "TCS",
 volume       = "178",
 number       = "1--2",
 pages        = "237--255",
 doi          = "10.1016/S0304-3975(96)00228-9",
)
@article(IC::BurchCMDH1992,
 author       = "J. R. Burch and E. M. Clarke and K. L. McMillan and D. L. Dill and L. J. Hwang",
 year         = "1992",
 title        = "Symbolic Model Checking: $10^{20}$ States and Beyond",
 journal      = "Information and Computation",
 volume       = "98",
 number       = "2",
 pages        = "142--170",
 doi          = "10.1016/0890-5401(92)90017-A",
)
@inproceedings(focs91*368,
 author       = "E. A. Emerson and C. S. Jutla",
 year         = "1991",
 title        = "Tree Automata, $\mu $-Calculus and Determinacy",
 booktitle    = "Proc.\ 32nd Symp.\ on Foundations of Computer Science",
 publisher    = "IEEE",
 address      = "San Juan, Puerto Rico",
 pages        = "368--377",
 doi          = "10.1109/SFCS.1991.185392",
)
@inproceedings(conf/lics/Friedmann09,
 author       = "O. Friedmann",
 year         = "2009",
 title        = "An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it",
 booktitle    = "Proc.\ 24th Ann. IEEE Symp.\ on Logic in Computer Science, {LICS'09}",
 publisher    = "IEEE",
 pages        = "145--156",
 doi          = "10.1109/LICS.2009.27",
)
@article(DBLP:journals/ita/Friedmann11,
 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",
 url          = "http://dx.doi.org/10.1051/ita/2011124",
)
@inproceedings(fl-atva09,
 author       = "O. Friedmann and M. Lange",
 year         = "2009",
 title        = "Solving Parity Games in Practice",
 booktitle    = "Proc.\ 7th Int.\ Symp.\ on Automated Technology for Verification and Analysis, {ATVA'09}",
 series       = "LNCS",
 volume       = "5799",
 pages        = "182--196",
 doi          = "10.1007/978-3-642-04761-9\_15",
)
@article(FriedmannL:JFCS:2011,
 author       = "O. Friedmann and M. Lange",
 year         = "2012",
 title        = "Two Local Strategy Improvement Schemes for Parity Game Solving",
 journal      = "Journal of Foundations of Computer Science",
 volume       = "23",
 number       = "3",
 pages        = "669--685",
 doi          = "10.1142/S0129054112400333",
)
@article(journals/corr/FriedmannLL13,
 author       = "O. Friedmann and M. Latte and M. Lange",
 year         = "2013",
 title        = "Satisfiability Games for Branching-Time Logics",
 journal      = "Logical Methods in Computer Science",
 volume       = "9",
 number       = "4",
 doi          = "10.2168/LMCS-9(4:5)2013",
)
@article(journals/jccs/HKLN,
 author       = "K. Heljanko and M. Kein{\"a}nen and M. Lange and I. Niemel{\"a}",
 year         = "2012",
 title        = "Solving Parity Games by a Reduction to SAT",
 journal      = "Journal of Computer and System Sciences",
 volume       = "78",
 pages        = "430--440",
 doi          = "10.1016/j.jcss.2011.05.004",
)
@article(Jurdzinski/98,
 author       = "M. Jurdzi{\'n}ski",
 year         = "1998",
 title        = "Deciding the winner in parity games is in ${UP}\cap $co-${UP}$",
 journal      = "Inf.~Process.~Lett.",
 volume       = "68",
 number       = "3",
 pages        = "119--124",
 doi          = "10.1016/S0020-0190(98)00150-1",
)
@inproceedings(Jurdzinski/00,
 author       = "M. Jurdzi{\'n}ski",
 year         = "2000",
 title        = "Small progress measures for solving parity games",
 editor       = "H. Reichel and S. Tison",
 booktitle    = "Proc.\ 17th Ann.\ Symp.\ on Theoretical Aspects of Computer Science, {STACS'00}",
 series       = "LNCS",
 volume       = "1770",
 publisher    = "Springer",
 pages        = "290--301",
 doi          = "10.1007/3-540-46541-3\_24",
)
@article(journals/siamcomp/JurdzinskiPZ08,
 author       = "M. Jurdzinski and M. Paterson and U. Zwick",
 year         = "2008",
 title        = "A Deterministic Subexponential Algorithm for Solving Parity Games",
 journal      = "SIAM J. Comput",
 volume       = "38",
 number       = "4",
 pages        = "1519--1532",
 url          = "http://dx.doi.org/10.1137/070686652",
)
@article(martin75,
 author       = "D. A. Martin",
 year         = "1975",
 title        = "Borel determinacy",
 journal      = "The annals of Mathematics",
 volume       = "102",
 number       = "2",
 pages        = "363--371",
 doi          = "10.2307/1971035",
)
@inproceedings(Schewe/07/Parity,
 author       = "S. Schewe",
 year         = "2007",
 title        = "Solving Parity Games in Big Steps",
 booktitle    = "Proc.\ 27th Int.\ Conf.\ on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS'07}",
 series       = "LNCS",
 volume       = "4855",
 publisher    = "Springer",
 pages        = "449--460",
 doi          = "10.1007/978-3-540-77050-3\_37",
)
@inproceedings(conf/csl/Schewe08,
 author       = "S. Schewe",
 year         = "2008",
 title        = "An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games",
 booktitle    = "Proc.\ 17th Ann.\ Conf.\ on Computer Science Logic, {CSL'08}",
 series       = "LNCS",
 volume       = "5213",
 publisher    = "Springer",
 pages        = "369--384",
 doi          = "10.1007/978-3-540-87531-4\_27",
)
@article(seidlfp96,
 author       = "H. Seidl",
 year         = "1996",
 title        = "Fast and Simple Nested Fixpoint",
 journal      = "Information Processing Letters",
 volume       = "59",
 number       = "6",
 pages        = "303--308",
 doi          = "10.1016/0020-0190(96)00130-5",
)
@inproceedings(Stirling95,
 author       = "C. Stirling",
 year         = "1995",
 title        = "Local Model Checking Games",
 booktitle    = "Proc.\ 6th Conf.\ on Concurrency Theory, {CONCUR}'95",
 series       = "LNCS",
 volume       = "962",
 publisher    = "Springer",
 pages        = "1--11",
 doi          = "10.1007/3-540-60218-6\_1",
)
@article(Tars55,
 author       = "A. Tarski",
 year         = "1955",
 title        = "A Lattice-theoretical Fixpoint Theorem and its Application",
 journal      = "Pacific Journal of Mathematics",
 volume       = "5",
 pages        = "285--309",
 doi          = "10.2140/pjm.1955.5.285",
)
@inproceedings(conf/cav/VogeJ00,
 author       = "J. V{\"o}ge and M. Jurdzi{\'n}ski",
 year         = "2000",
 title        = "A Discrete Strategy Improvement Algorithm for Solving Parity Games",
 booktitle    = "Proc.\ 12th Int.\ Conf.\ on Computer Aided Verification, {CAV'00}",
 series       = "LNCS",
 volume       = "1855",
 publisher    = "Springer",
 pages        = "202--215",
 doi          = "10.1007/10722167\_18",
)
@inproceedings(DBLP:conf/stacs/Walukiewicz96,
 author       = "I. Walukiewicz",
 year         = "1996",
 title        = "Monadic Second Order Logic on Tree-Like Structures",
 booktitle    = "Proc.\ 13th Ann.\ Symp.\ on Theoretical Aspects of Computer Science, {STACS'96}",
 series       = "Lecture Notes in Computer Science",
 volume       = "1046",
 publisher    = "Springer",
 pages        = "401--413",
 doi          = "10.1007/3-540-60922-9\_33",
)
@article(TCS::Zielonka1998,
 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",
)