T. Braüner og V. de Paiva, “Cut-Elimination for Full Intuitionistic Linear Logic”, BRICS, bd. 3, nr. 10, jan. 1996.