TY  - RPRT
TI  - Computing $\vec{\mathcal{S}}$-DAGs and Parity Games
AU  - Meike Hatzel
AU  - Johannes Schröder
PY  - 2024
UR  - https://arxiv.org/abs/2405.05571
ID  - 2405.05571
ER  -