@misc{indiciaebbd1cc8bf622, title = {The Variable Hierarchy for the Games mu-Calculus}, author = {Walid Belkhir and Luigi Santocanale}, year = {2008}, url = {https://arxiv.org/abs/0710.2419}, note = {Source identifier: 0710.2419} }