@inproceedings(BDHK06,
 author       = "Dietmar Berwanger and Anuj Dawar and Paul Hunter and Stephan Kreutzer",
 year         = "2006",
 title        = "{{DAG}-Width and Parity Games}",
 booktitle    = "STACS 2006, Proceedings of the 23rd Symposium on Theoretical Aspects of Computer Science",
 series       = "LNCS",
 volume       = "3884",
 publisher    = "Springer-Verlag",
 pages        = "524--436",
 doi          = "10.1007/11672142_43",
)
@article(CartonM99,
 author       = "Olivier Carton and Ram{\'o}n Maceiras",
 year         = "1999",
 title        = "Computing the {R}abin {I}ndex of a {P}arity {A}utomaton",
 journal      = "ITA",
 volume       = "33",
 number       = "6",
 pages        = "495--506",
)
@inproceedings(EJ91,
 author       = "E.A. Emerson and C. Jutla",
 year         = "1991",
 title        = "{Tree Automata, $\mu $-Calculus and Determinacy}",
 booktitle    = "Proc.\ 32nd IEEE Symp. on Foundations of Computer Science",
 pages        = "368--377",
 doi          = "10.1109/SFCS.1991.185392",
)
@article(EvenIS76,
 author       = "Shimon Even and Alon Itai and Adi Shamir",
 year         = "1976",
 title        = "{On the Complexity of Timetable and Multicommodity Flow Problems}",
 journal      = "SIAM J. Comput.",
 volume       = "5",
 number       = "4",
 pages        = "691--703",
 doi          = "10.1109/SFCS.1975.21",
)
@article(Fortune80,
 author       = "Steven Fortune and John Hofcroft and James Wyllie",
 year         = "1980",
 title        = "{The Directed Subgraph Homeomorphism Problem}",
 journal      = "Theoretical Computer Science",
 volume       = "10",
 pages        = "111--121",
 doi          = "10.1016/0304-3975(80)90009-2",
)
@inproceedings(Friedman09,
 author       = "Oliver Friedmann and Martin Lange",
 year         = "2009",
 title        = "{Solving Parity Games in Practice}",
 editor       = "Zhiming Liu and Anders Ravn",
 booktitle    = "Proc.\ of Automated Technology for Verification and Analysis",
 series       = "Lecture Notes in Computer Science",
 volume       = "5799",
 publisher    = "Springer",
 pages        = "182--196",
 doi          = "10.1007/978-3-642-04761-9_15",
)
@techreport(Friedmann10,
 author       = "Oliver Friedmann and Martin Lange",
 year         = "2010",
 title        = "The {\sf {P}}{\sf {G}}{\sf {S}}{\sf olver} {C}ollection of {P}arity {G}ame {S}olvers",
 type         = "Technical Report",
 institution  = "Institut f\"ur Informatik, LMU Munich",
 note         = "Version 3",
)
@inproceedings(Jur00,
 author       = "Marcin Jurdzi\'{n}ski",
 year         = "2000",
 title        = "{Small Progress Measures for Solving Parity Games}",
 booktitle    = "STACS '00: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "290--301",
 doi          = "10.1007/3-540-46541-3_24",
)
@inproceedings(VJ00,
 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",
 series       = "Lecture Notes in Computer Science",
 volume       = "1855",
 publisher    = "Springer",
 pages        = "202--215",
 doi          = "10.1007/10722167_18",
)
@article(Wagner79,
 author       = "K. Wagner",
 year         = "1979",
 title        = "{On $\omega $-Regular Sets}",
 journal      = "Information and Control",
 volume       = "43",
 pages        = "123--177",
 doi          = "10.1016/S0019-9958(79)90653-3",
)
@article(Zie98,
 author       = "Wieslaw Zielonka",
 year         = "1998",
 title        = "{Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees}",
 journal      = "Theoretical Computer Science",
 volume       = "200",
 number       = "1Ð2",
 pages        = "135 -- 183",
 doi          = "10.1016/S0304-3975(98)00009-7",
)