ALONDERIS, Romas; GIEDRA, Haroldas. Įrodymo ciklų metodas laiko logikai. Lietuvos matematikos rinkinys, [S. l.], v. 60, n. A, p. 1–6, 2019. DOI: 10.15388/LMR.A.2019.14953. Disponível em: https://test.zurnalai.vu.lt/LMR/article/view/14953. Acesso em: 27 spal. 2025.