On transforming intuitionistic matrix proofs into standard-sequent proofs (0)

by S Schmitt, C Kreitz
Venue:4th Workshop on Theorem Proving with Analytic