L. Maksimiak ir A. Birštunas, „Becikliai sekvenciniai skaičiavimai unariniam laiko logikos fragmentui“, LMR, t. 66, nr. A, p. 1–10, gruodž. 2025, doi: 10.15388/LMR.2025.44491.