Towards Algorithmic Cut-Introduction.

Stefan Hetzl, Alexander Leitsch, Daniel Weller

Browse the full LPAR paper archive.