TY  - RPRT
TI  - A Proof System with Names for Modal Mu-calculus
AU  - Colin Stirling
PY  - 2013
DO  - 10.4204/eptcs.129.2
UR  - https://arxiv.org/abs/1309.5129
ID  - 1309.5129
ER  -