Restall, G. Structural Rules in Natural Deduction With Alternatives. B Sect Log 2023, 52, 109-143.