(1)
Bra√ľner, T.; de Paiva, V. Cut-Elimination for Full Intuitionistic Linear Logic. BRICS 1996, 3.