Kamide, N. Cut-Elimination and Normalization Theorems for Connexive Logics over Wansing’s C. B Sect Log 2025, 54, 157-205.