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