TY  - RPRT
TI  - Focus-style proof systems and interpolation for the alternation-free $μ$-calculus
AU  - Johannes Marti
AU  - Yde Venema
PY  - 2021
UR  - https://arxiv.org/abs/2103.01671
ID  - 2103.01671
ER  -