@misc{indiciae8df5a2883234,
  title = {Global Caching for the Alternation-free \$μ\$-Calculus},
  author = {Daniel Hausmann and Lutz Schröder and Christoph Egger},
  year = {2016},
  url = {https://arxiv.org/abs/1609.06379},
  note = {Source identifier: 1609.06379}
}