MAKSIMIAK, L.; BIRŠTUNAS, A. Loop-check free sequent calculi for unary fragment of temporal logic. Lietuvos matematikos rinkinys, v. 66, n. A, p. 1–10, 21 Dec.2025.