Deleting Redundancy in Proof Reconstruction.

Stephan Schmitt, Christoph Kreitz

Browse the full TABLEAUX paper archive.