Maksimiak, L. and Birštunas, A. (2025) “Loop-check free sequent calculi for unary fragment of temporal logic”, Lietuvos matematikos rinkinys, 66(A), pp. 1–10. doi:10.15388/LMR.2025.44491.