@misc{indiciae49bb0fb0a010,
  title = {Simplicity via Provability for Universal Prefix-free Turing Machines},
  author = {Cristian S. Calude},
  year = {2009},
  doi = {10.4204/eptcs.1.2},
  url = {https://arxiv.org/abs/0906.3235},
  note = {Source identifier: 0906.3235}
}