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.