TY  - RPRT
TI  - Size matters in the modal $μ$-calculus
AU  - Clemens Kupke
AU  - Johannes Marti
AU  - Yde Venema
PY  - 2020
UR  - https://arxiv.org/abs/2010.14430
ID  - 2010.14430
ER  -