Sasaki, Katsumi. “A Sequent System Without Improper Derivations”. Bulletin of the Section of Logic 51, no. 1 (October 14, 2021): 91–108. Accessed March 29, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/9188.