On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs.

Stephan Schmitt, Christoph Kreitz

Browse the full TABLEAUX paper archive.