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