TY  - RPRT
TI  - Certification for mu-calculus with winning strategies
AU  - Martin Hofmann
AU  - Harald Ruess
PY  - 2014
UR  - https://arxiv.org/abs/1401.1693
ID  - 1401.1693
ER  -