TY  - RPRT
TI  - A Natural Deduction style proof system for propositional $μ$-calculus and its formalization in inductive type theories
AU  - Marino Miculan
PY  - 1998
UR  - https://arxiv.org/abs/cs/9809120
ID  - cs/9809120
ER  -