N. Kamide, “Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C”, B Sect Log, vol. 54, no. 2, pp. 157–205, Jul. 2025, doi: 10.18778/0138-0680.2025.04.