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