M. Klonowski, “Sequent Calculi for Beginners and Professionals”, LLP, vol. 27, no. 1, pp. 143–147, Feb. 2018.