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