TY  - RPRT
TI  - Bounded game-theoretic semantics for modal mu-calculus
AU  - Lauri Hella
AU  - Antti Kuusisto
AU  - Raine Rönnholm
PY  - 2020
UR  - https://arxiv.org/abs/1706.00753
ID  - 1706.00753
ER  -