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