Maksimiak, L.; Birštunas, A. Becikliai Sekvenciniai skaičiavimai Unariniam Laiko Logikos Fragmentui. LMR 2025, 66 (A), 1–10. https://doi.org/10.15388/LMR.2025.44491.