Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. - J. Polokow; Frank Pfenning (MFPS, 1999)