TY  - RPRT
TI  - The Complexity of Enriched Mu-Calculi
AU  - Piero A. Bonatti
AU  - Carsten Lutz
AU  - Aniello Murano
AU  - Moshe Y. Vardi
PY  - 2008
DO  - 10.2168/lmcs-4(3:11)2008
UR  - https://arxiv.org/abs/0809.0360
ID  - 0809.0360
ER  -