Gerhardy, P. (2003). The Role of Quantifier Alternations in Cut Elimination. BRICS Report Series, 10(46). https://doi.org/10.7146/brics.v10i46.21818