Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic.

Matthias Baaz, Christian G. Fermller

Browse the full CSL paper archive.