@misc{indiciae4538545b6c7e,
  title = {Needed Computations Shortcutting Needed Steps},
  author = {Sergio Antoy and Jacob Johannsen and Steven Libby},
  year = {2015},
  doi = {10.4204/eptcs.183.2},
  url = {https://arxiv.org/abs/1505.07162},
  note = {Source identifier: 1505.07162}
}