M. Cordes and F. Reinmuth, “Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction”, LLP, vol. 26, no. 2, pp. 163–196, Feb. 2017.