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.