@misc{indiciae087f7a30e440,
  title = {Semi-Countable Sets and their Application to Search Problems},
  author = {P. W. Adriaans},
  year = {2019},
  url = {https://arxiv.org/abs/1904.03636},
  note = {Source identifier: 1904.03636}
}