@misc{indiciae8a8b4cc1a9a0,
  title = {Post's program and incomplete recursively enumerable sets.},
  author = {L Harrington and R I Soare},
  year = {1991},
  doi = {10.1073/pnas.88.22.10242},
  url = {https://pubmed.ncbi.nlm.nih.gov/11607241/},
  note = {Source identifier: 11607241}
}