@incollection(brad:moda06,
 author       = {J. Bradfield and C. Stirling},
 year         = {2006},
 title        = {Modal $\mu$-calculi},
 editor       = {{van B}enthem, J. and P. Blackburn and F. Wolter},
 booktitle    = {Handbook of Modal Logic},
 publisher    = {Elsevier},
 pages        = {721--756},
)
@article(brus:guar15,
 author       = {F. Bruse and O. Friedmann and M. Lange},
 year         = {2015},
 title        = {On guarded transformation in the modal $\mu$-calculus},
 journal      = {Logic Journal of the IGPL},
 volume       = {23},
 number       = {2},
 pages        = {194--216},
 doi          = {10.1093/jigpal/jzu030},
)
@inproceedings(calu:deci17,
 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},
 editor       = {H. Hatami and P. McKenzie and V. King},
 booktitle    = {Proceedings of the 49th Annual {ACM} {SIGACT} Symposium on Theory of Computing, ({STOC} 2017)},
 publisher    = {{ACM}},
 pages        = {252--263},
 doi          = {10.1145/3055399.3055409},
)
@article(dago:logi00,
 author       = {G. {D'A}gostino and M. Hollenberg},
 title        = {Logical questions concerning the $\mu$-calculus},
 journal      = {Journal of Symbolic Logic},
 volume       = {65},
 pages        = {310--332},
 doi          = {10.1080/11663081.1991.10510772},
)
@article(dale:onmo06,
 author       = {G. D'Agostino and G. Lenzi},
 year         = {2006},
 title        = {On modal mu-calculus with explicit interpolants},
 journal      = {Journal of Applied Logic},
 volume       = {4},
 number       = {3},
 pages        = {256--278},
 doi          = {10.1016/j.jal.2005.06.008},
)
@book(demr:temp16,
 author       = {S. Demri and V. Goranko and M. Lange},
 year         = {2016},
 title        = {Temporal Logics in Computer Science: Finite-State Systems},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139236119},
)
@inproceedings(emer:comp88,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1988},
 title        = {The complexity of tree automata and logics of programs (extended abstract)},
 booktitle    = {Proceedings~of the 29th Symposium on the Foundations of Computer Science},
 publisher    = {IEEE Computer Society Press},
 pages        = {328--337},
)
@inproceedings(emer:tree91,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1991},
 title        = {Tree automata, mu-calculus and determinacy (extended abstract)},
 booktitle    = {Proceedings~of the 32nd Symposium on the Foundations of Computer Science},
 publisher    = {IEEE Computer Society Press},
 pages        = {368--377},
)
@article(enqv:comp18,
 author       = {S. Enqvist and F. Seifan and Y. Venema},
 year         = {2018},
 title        = {Completeness for the modal \emph{{$\mu$}}-calculus: Separating the combinatorics from the dynamics},
 journal      = {Theoretical Computer Science},
 volume       = {727},
 pages        = {37--100},
 doi          = {10.1016/j.tcs.2018.03.001},
)
@article(font:mode18,
 author       = {G. Fontaine and Y. Venema},
 year         = {2018},
 title        = {Some model theory for the modal mu-calculus: syntactic characterizations of semantic properties},
 journal      = {Logical Methods in Computer Science},
 volume       = {14},
 number       = {1},
)
@article(frla13:deci,
 author       = {O. Friedmann and M. Lange},
 year         = {2013},
 title        = {Deciding the unguarded modal {$\mathrm{\mu}$}-calculus},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {23},
 number       = {4},
 pages        = {353--371},
 doi          = {10.1080/11663081.2013.861181},
)
@book(grae:auto02,
 editor       = {E. Gr{\"a}del and W. Thomas and T. Wilke},
 year         = {2002},
 title        = {Automata, Logic, and Infinite Games},
 series       = {LNCS},
 volume       = {2500},
 publisher    = {Springer},
)
@inproceedings(jani:auto95,
 author       = {D. Janin and I. Walukiewicz},
 year         = {1995},
 title        = {Automata for the modal $\mu$-calculus and related results},
 booktitle    = {Proceedings of the Twentieth International Symposium on Mathematical Foundations of Computer Science, MFCS'95},
 series       = {LNCS},
 volume       = {969},
 publisher    = {Springer},
 pages        = {552--562},
)
@article(kupfer:linbran05,
 author       = {O. Kupferman and M.Y. Vardi},
 year         = {2005},
 title        = {From Linear Time to Branching Time},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {6},
 number       = {2},
 pages        = {273--294},
 doi          = {10.1145/1055686.1055689},
)
@article(kupk:size20,
 author       = {C. Kupke and J. Marti and Y. Venema},
 year         = {2020},
 title        = {Size matters in the modal {$\mu$}-calculus},
 journal      = {CoRR},
 volume       = {abs/2010.14430},
)
@article(kuve08:coal,
 author       = {C. Kupke and Y. Venema},
 year         = {2008},
 title        = {Coalgebraic {A}utomata {T}heory: {B}asic {R}esults},
 journal      = {Logical Methods in Computer Science},
 volume       = {4},
 number       = {4},
 doi          = {10.2168/LMCS-4(4:10)2008},
)
@inproceedings(leht:disj15,
 author       = {K. Lehtinen},
 year         = {2015},
 title        = {Disjunctive form and the modal {$\mu$} alternation hierarchy},
 booktitle    = {Proceedings of {FICS} 2015},
 series       = {{EPTCS}},
 volume       = {191},
 pages        = {117--131},
 doi          = {10.4204/EPTCS.191.11},
)
@article(pite:from07,
 author       = {N. Piterman},
 year         = {2007},
 title        = {From Nondeterministic B{\"{u}}chi and {S}treett Automata to Deterministic Parity Automata},
 journal      = {LMCS},
 volume       = {3},
 number       = {3},
 doi          = {10.2168/LMCS-3(3:5)2007},
)
@inproceedings(sche:tigh09,
 author       = {S. Schewe},
 year         = {2009},
 title        = {Tighter {B}ounds for the {D}eterminisation of {B}{\"{u}}chi {A}utomata},
 editor       = {Luca de Alfaro},
 booktitle    = {Proceedings of {FOSSACS} 2009},
 series       = {LNCS},
 volume       = {5504},
 publisher    = {Springer},
 pages        = {167--181},
 doi          = {10.1007/978-3-642-00596-1\_13},
)
@book(stir:moda01,
 author       = {C. Stirling},
 title        = {Modal and Temporal Properties of Processes},
 series       = {Texts in Computer Science},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4757-3550-5},
)
@inproceedings(vard98:reas,
 author       = {M. Y. Vardi},
 year         = {1998},
 title        = {Reasoning about the Past with Two-Way Automata},
 booktitle    = {Proceedings of ICALP'98},
 series       = {LNCS},
 volume       = {1443},
 publisher    = {Springer},
 pages        = {628--641},
 doi          = {10.1007/BFb0055090},
)
@article(vene:auto06,
 author       = {Y. Venema},
 year         = {2006},
 title        = {Automata and Fixed Point Logic: a Coalgebraic Perspective},
 journal      = {Information and Computation},
 volume       = {204},
 pages        = {637--678},
 doi          = {10.1016/j.ic.2005.06.003},
)
@article(walu:comp00,
 author       = {I. Walukiewicz},
 year         = {2000},
 title        = {Completeness of {K}ozen's axiomatisation of the propositional {$\mu$}-calculus},
 journal      = {Information and Computation},
 volume       = {157},
 pages        = {142--182},
 doi          = {10.1006/inco.1999.2836},
)
@article(wilk:alte01,
 author       = {T. Wilke},
 year         = {2001},
 title        = {Alternating tree automata, parity games, and modal $\mu$-calculus},
 journal      = {Bulletin of the Belgian Mathematical Society},
 volume       = {8},
 pages        = {359--391},
)