Alonderis, R. and Giedra, H. 2019. Įrodymo ciklų metodas laiko logikai. Lietuvos matematikos rinkinys. 60, A (Nov. 2019), 1–6. DOI:https://doi.org/10.15388/LMR.A.2019.14953.