Algorithmic Structuring of Cut-free Proofs.

Matthias Baaz, Richard Zach

Browse the full CSL paper archive.