Tree Grammars for the Elimination of Non-prenex Cuts.

Stefan Hetzl, Sebastian Zivota

Browse the full CSL paper archive.