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