TY  - RPRT
TI  - Mostowski Index via extended register games
AU  - Olivier Idir
AU  - Karoliina Lehtinen
PY  - 2024
UR  - https://arxiv.org/abs/2412.16793
ID  - 2412.16793
ER  -