Płaczek, Paweł. “Sequent Systems for Consequence Relations of Cyclic Linear Logics”. Bulletin of the Section of Logic, vol. 53, no. 2, Apr. 2024, pp. 245-74, https://doi.org/10.18778/0138-0680.2024.06.