TY  - RPRT
TI  - On the size of disjunctive formulas in the $μ$-calculus
AU  - Clemens Kupke
AU  - Johannes Marti
AU  - Yde Venema
PY  - 2021
DO  - 10.4204/eptcs.346.19
UR  - https://arxiv.org/abs/2109.08310
ID  - 2109.08310
ER  -