Shinoda, Slaman, 1988. On the theory of the PTIME degrees of the recursive sets, in: . IEEE.. https://doi.org/10.1109/sct.1988.5285