@misc{indiciae16ea578603b8,
  title = {Progress, Justness and Fairness in Modal \$μ\$-Calculus Formulae},
  author = {Myrthe Spronck and Bas Luttik and Tim Willemse},
  year = {2024},
  url = {https://arxiv.org/abs/2407.08060},
  note = {Source identifier: 2407.08060}
}