TY  - RPRT
TI  - The Extended HOA Format for Synthesis
AU  - Guillermo A. Perez
PY  - 2020
UR  - https://arxiv.org/abs/1912.05793
ID  - 1912.05793
ER  -