Braüner, T. and de Paiva, V. (1996) “Cut-Elimination for Full Intuitionistic Linear Logic”, BRICS Report Series, 3(10). doi: 10.7146/brics.v3i10.19973.