@inproceedings(al-lpar07,
 author       = "R. Axelsson and M. Lange",
 year         = "2007",
 title        = "Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic",
 booktitle    = "Proc.\ 14th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence, and Reasoning, {LPAR'07}",
 series       = "LNCS",
 volume       = "4790",
 publisher    = "Springer",
 pages        = "62--76",
 doi          = "10.1007/978-3-540-75560-9\_7",
)
@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",
)
@book(Gradel_07_finite,
 author       = "E. Gr{\"a}del and P. G. Kolaitis and L. Libkin and M. Marx and J. Spencer and M. Y. Vardi and Y. Venema and S. Weinstein",
 year         = "2007",
 title        = "Finite Model Theory and its Applications",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/3-540-68804-8",
)
@inproceedings(CONCUR::JaninW1996,
 author       = "D. Janin and I. Walukiewicz",
 year         = "1996",
 title        = "On the Expressive Completeness of the Propositional $\mu $-Calculus with Respect to Monadic Second Order Logic",
 booktitle    = "CONCUR",
 pages        = "263--277",
 doi          = "10.1007/3-540-61604-7\_60",
)
@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",
)
@article(Kozen83,
 author       = "D. Kozen",
 year         = "1983",
 title        = "Results on the Propositional $\mu $-calculus",
 journal      = "TCS",
 volume       = "27",
 pages        = "333--354",
 doi          = "10.1007/BFb0012782",
)
@article(Otto99,
 author       = "M. Otto",
 year         = "1999",
 title        = "Bisimulation-invariant {PTIME} and higher-dimensional $\mu $-calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "224",
 number       = "1-2",
 pages        = "237--265",
 doi          = "10.1016/S0304-3975(98)00314-4",
)
@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",
)
@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    = "CAV",
 pages        = "202--215",
 doi          = "10.1007/10722167\_18",
)
@inproceedings(Walukiewicz96,
 author       = "Igor Walukiewicz",
 year         = "1996",
 title        = "Pushdown Processes: Games and Model Checking",
 booktitle    = "CAV",
 pages        = "62--74",
 doi          = "10.1007/3-540-61474-5\_58",
)