Kamide, N. (2025). Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C. Bulletin of the Section of Logic, 54(2), 157–205. https://doi.org/10.18778/0138-0680.2025.04