@misc{indiciaecdf8342a1bdc,
  title = {Verifying whether One-Tape Non-Deterministic Turing Machines Run in Time \$Cn+D\$},
  author = {David Gajser},
  year = {2014},
  doi = {10.1016/j.jcss.2019.08.004},
  url = {https://arxiv.org/abs/1312.0496},
  note = {Source identifier: 1312.0496}
}