@misc{indiciae553efb62fd13,
  title = {Generic algorithms for halting problem and optimal machines revisited},
  author = {Laurent Bienvenu and Damien Desfontaines and Alexander Shen},
  year = {2016},
  doi = {10.2168/lmcs-12(2:1)2016},
  url = {https://arxiv.org/abs/1505.00731},
  note = {Source identifier: 1505.00731}
}