@misc{indiciae4cad7de44b94,
  title = {Orbit decidability, applications and variations},
  author = {Enric Ventura},
  year = {2013},
  url = {https://arxiv.org/abs/1305.2294},
  note = {Source identifier: 1305.2294}
}