@misc{indiciaed371eb663724,
  title = {NP Reasoning in the Monotone \$μ\$-Calculus},
  author = {Daniel Hausmann and Lutz Schröder},
  year = {2020},
  url = {https://arxiv.org/abs/2002.05075},
  note = {Source identifier: 2002.05075}
}