TY  - RPRT
TI  - The Variable Hierarchy for the Games mu-Calculus
AU  - Walid Belkhir
AU  - Luigi Santocanale
PY  - 2008
UR  - https://arxiv.org/abs/0710.2419
ID  - 0710.2419
ER  -