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