TY  - RPRT
TI  - Decomposition Theorems and Model-Checking for the Modal $μ$-Calculus
AU  - Mikolaj Bojanczyk
AU  - Christoph Dittmann
AU  - Stephan Kreutzer
PY  - 2014
DO  - 10.1145/2603088.2603144
UR  - https://arxiv.org/abs/1405.2234
ID  - 1405.2234
ER  -