Kunimasa AOKI, Juichi SHINODA, Teruko TSUDA "Strong minimal pair theorem for the honest polynomial degrees of ${{∆}^0}_2$ low sets," Journal of the Mathematical Society of Japan, J. Math. Soc. Japan 44(3), 505-514, (July, 1992)