A. Indrzejczak and Y. Petrukhin, “Uniform Cut-Free Bisequent Calculi for Three-Valued Logics”, LLP, vol. 33, no. 3, pp. 463–506, Jul. 2024.