K. Sasaki, “A Sequent System without Improper Derivations”, B Sect Log, vol. 51, no. 1, pp. 91–108, Oct. 2021.