Restall, Greg. “Structural Rules in Natural Deduction With Alternatives”. Bulletin of the Section of Logic 52, no. 2 (June 25, 2023): 109–143. Accessed December 11, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/14404.