No. 46 (2003): RS-46 The Role of Quantifier Alternations in Cut Elimination

Published: 2003-06-16