A Redundancy Analysis of Sequent Proofs.

Tatjana Lutovac, James Harland

Browse the full TABLEAUX paper archive.