R. M. Friedberg. Two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post's problem, 1944). Proceedings of the National Academy of Sciences of the United States of America, vol. 43 (1957), pp. 236–238.
1973 ◽
Vol 70
(10)
◽
pp. 3009-3035
◽
2013 ◽
Vol 98
(9)
◽
pp. 3525-3528
1989 ◽
Vol 86
(23)
◽
pp. 9053-9074
◽