Maksimiak, Lukas, ir Adomas Birštunas. „Becikliai sekvenciniai skaičiavimai unariniam laiko logikos fragmentui“. Lietuvos matematikos rinkinys, t. 66, nr. A, 2025 m.gruodžio, p. 1–10, https://doi.org/10.15388/LMR.2025.44491.