Maksimiak, Lukas, and Adomas Birštunas. “Loop-Check Free Sequent Calculi for Unary Fragment of Temporal Logic”. Lietuvos Matematikos Rinkinys, vol. 66, no. A, Dec. 2025, pp. 1–10, https://doi.org/10.15388/LMR.2025.44491.