TY  - RPRT
TI  - Infinite Games Specified by 2-Tape Automata
AU  - Olivier Finkel
PY  - 2013
UR  - https://arxiv.org/abs/1312.3797
ID  - 1312.3797
ER  -