TY  - RPRT
TI  - Post's program and incomplete recursively enumerable sets.
AU  - L Harrington
AU  - R I Soare
PY  - 1991
DO  - 10.1073/pnas.88.22.10242
UR  - https://pubmed.ncbi.nlm.nih.gov/11607241/
ID  - 11607241
ER  -