Kunimasa Aoki, Juichi Shinoda, Teruko Tsuda. On Pi_2 Theories of hp-T Degrees of Low Sets. Theoretical Computer Science, 123(2):315-327, 1994.
@article{AokiST94, title = {On Pi_2 Theories of hp-T Degrees of Low Sets}, author = {Kunimasa Aoki and Juichi Shinoda and Teruko Tsuda}, year = {1994}, researchr = {https://researchr.org/publication/AokiST94}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {123}, number = {2}, pages = {315-327}, }