TY  - RPRT
TI  - Proof Systems for the Modal $μ$-Calculus Obtained by Determinizing Automata
AU  - Maurice Dekker
AU  - Johannes Kloibhofer
AU  - Johannes Marti
AU  - Yde Venema
PY  - 2023
UR  - https://arxiv.org/abs/2307.06897
ID  - 2307.06897
ER  -