(1)
Gerhardy, P. The Role of Quantifier Alternations in Cut Elimination. BRICS 2003, 10.