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