TY  - RPRT
TI  - From $μ$-Calculus to Alternating Tree Automata using Parity Games
AU  - M. Fareed Arif
PY  - 2016
UR  - https://arxiv.org/abs/1602.00912
ID  - 1602.00912
ER  -