@misc{indiciaefaa4f2536939,
  title = {The Isomorphism Relation Between Tree-Automatic Structures},
  author = {Olivier Finkel and Stevo Todorcevic},
  year = {2010},
  doi = {10.2478/s11533-010-0014-7},
  url = {https://arxiv.org/abs/1007.0822},
  note = {Source identifier: 1007.0822}
}