BRA√úNER, T.; DE PAIVA, V. Cut-Elimination for Full Intuitionistic Linear Logic. BRICS Report Series, v. 3, n. 10, 10 Jan. 1996.