Mariko YASUGI "Cut elimination theorem for second order arithmetic with the $\Pi_{1}^{1}$ -comprehension axiom and the $\omega$ -rule," Journal of the Mathematical Society of Japan, J. Math. Soc. Japan 22(3), 308-324, (July, 1970)