Restall, G. Structural Rules in Natural Deduction With Alternatives. B Sect Log 2023, 52 (2), 109-143. https://doi.org/10.18778/0138-0680.2023.6.