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, doi:10.18778/0138-0680.2024.06.