@misc{indiciae8c7e5b5e9f2f,
  title = {Decision Problems For Turing Machines},
  author = {Olivier Finkel and Dominique Lecomte},
  year = {2009},
  url = {https://arxiv.org/abs/0909.0736},
  note = {Source identifier: 0909.0736}
}