@misc{indiciaed044df07f67d, title = {Permutation Games for the Weakly Aconjunctive \$μ\$-Calculus}, author = {Daniel Hausmann and Lutz Schröder and Hans-Peter Deifel}, year = {2018}, url = {https://arxiv.org/abs/1710.08996}, note = {Source identifier: 1710.08996} }