program and incomplete recursively enumerable sets (1991)

by Post's
Venue:Proceedings of the National Academy of Sciences of the United States of America