MAKSIMIAK, L.; BIRŠTUNAS, A. Becikliai sekvenciniai skaičiavimai unariniam laiko logikos fragmentui. Lietuvos matematikos rinkinys, v. 66, n. A, p. 1–10, 21 gruodž.2025.