Kamide, Norihiro. “Cut-Elimination and Normalization Theorems for Connexive Logics over Wansing’s C”. Bulletin of the Section of Logic, vol. 54, no. 2, July 2025, pp. 157-05, doi:10.18778/0138-0680.2025.04.