TY  - RPRT
TI  - The Isomorphism Relation Between Tree-Automatic Structures
AU  - Olivier Finkel
AU  - Stevo Todorcevic
PY  - 2010
DO  - 10.2478/s11533-010-0014-7
UR  - https://arxiv.org/abs/1007.0822
ID  - 1007.0822
ER  -