Converting Non-Classical Matrix Proofs into Sequent-Style Systems.

Stephan Schmitt, Christoph Kreitz

Browse the full CADE paper archive.