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.