Braüner, T.; de Paiva, V. Cut-Elimination for Full Intuitionistic Linear Logic. BRICS 1996, 3.