P. Gerhardy, “The Role of Quantifier Alternations in Cut Elimination”, BRICS, bd. 10, nr. 46, dec. 2003.