Gerhardy, Philipp. “The Role of Quantifier Alternations in Cut Elimination”. BRICS Report Series, bd. 10, nr. 46, december 2003, doi:10.7146/brics.v10i46.21818.