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