MAKSIMIAK, Lukas; BIRŠTUNAS, Adomas. Becikliai sekvenciniai skaičiavimai unariniam laiko logikos fragmentui. Lietuvos matematikos rinkinys, [S. l.], v. 66, n. A, p. 1–10, 2025. DOI: 10.15388/LMR.2025.44491. Disponível em: https://www.journals.vu.lt/LMR/article/view/44491. Acesso em: 3 saus. 2026.