Maksimiak, Lukas, and Adomas Birštunas. “Loop-Check Free Sequent Calculi for Unary Fragment of Temporal Logic”. Lietuvos matematikos rinkinys 66, no. A (December 21, 2025): 1–10. Accessed February 26, 2026. https://www.journals.vu.lt/LMR/article/view/44491.