Kamide, Norihiro. “Cut-Elimination and Normalization Theorems for Connexive Logics over Wansing’s C”. Bulletin of the Section of Logic 54, no. 2 (July 2, 2025): 157–205. Accessed December 18, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/24442.