@article{Ammon2013AnEP,
  title={An Effective Procedure for Computing "Uncomputable" Functions},
  author={Kurt Ammon},
  journal={ArXiv},
  year={2013},
  volume={abs/1302.1155},
  url={https://api.semanticscholar.org/CorpusID:16493105}
}