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