Sasaki, K. “A Sequent System Without Improper Derivations”. Bulletin of the Section of Logic, vol. 51, no. 1, Oct. 2021, pp. 91-108, doi:10.18778/0138-0680.2021.21.