TY  - RPRT
TI  - On Guarded Transformation In The Modal Mu-Calculus
AU  - Florian Bruse
AU  - Oliver Friedmann
AU  - Martin Lange
PY  - 2013
UR  - https://arxiv.org/abs/1305.0648
ID  - 1305.0648
ER  -