Restall G. Structural Rules in Natural Deduction with Alternatives. B Sect Log [Internet]. 2023 Jun. 25 [cited 2025 Dec. 11];52(2):109-43. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/14404