Kunimasa Aoki Juichi Shinoda Teruko Tsuda On Pi_2 Theories of hp-T Degrees of Low Sets. 315-327 1994 123 Theor. Comput. Sci. 2 db/journals/tcs/tcs123.html#AokiST94