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

by S Schmitt, C Kreitz
Venue:In Proceedings Tableaux Workshop 1995 , this volume