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