G. Restall, “Structural Rules in Natural Deduction with Alternatives”, B Sect Log, vol. 52, no. 2, pp. 109–143, Jun. 2023.