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 December 23, 2025. https://www.zurnalai.vu.lt/LMR/article/view/44491.