Alonderis, R.; Giedra, H. Įrodymo ciklų metodas laiko logikai. LMR 2019, 60 (A), 1-6. https://doi.org/10.15388/LMR.A.2019.14953.