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