P. Płaczek, “Sequent Systems for Consequence Relations of Cyclic Linear Logics”, B Sect Log, vol. 53, no. 2, pp. 245–274, Apr. 2024, doi: 10.18778/0138-0680.2024.06.