C.-S. Wan, “Semi-Substructural Logics à la Lambek with Symmetry”, B Sect Log, vol. 54, no. 4, pp. 519–576, Mar. 2026, doi: 10.18778/0138-0680.2025.17.