@misc{indiciaec8a67d4c7452,
  title = {Bounded game-theoretic semantics for modal mu-calculus},
  author = {Lauri Hella and Antti Kuusisto and Raine Rönnholm},
  year = {2020},
  url = {https://arxiv.org/abs/1706.00753},
  note = {Source identifier: 1706.00753}
}