TY  - RPRT
TI  - Focus-style proofs for the two-way alternation-free $μ$-calculus
AU  - Jan Rooduijn
AU  - Yde Venema
PY  - 2023
UR  - https://arxiv.org/abs/2307.01773
ID  - 2307.01773
ER  -