TY  - RPRT
TI  - Optimal Syntactic Definitions of Back-and-Forth Types
AU  - Ruiyuan Chen
AU  - David Gonzalez
AU  - Matthew Harrison-Trainor
PY  - 2025
UR  - https://arxiv.org/abs/2505.00893
ID  - 2505.00893
ER  -