@article{Barmpalias2017ComputingHaltingProbabilities,
  year      = 2017,
  publisher = {Elsevier},
  volume    = {660},
  pages     = {16--22},
  author    = {G. Barmpalias and A. Lewis-Pye},
  title     = {Computing halting probabilities from other halting probabilities},
  journal   = {Theor. Comput. Sci.},
}