Alonderis, Romas, and Haroldas Giedra. 2019. “Įrodymo Ciklų Metodas Laiko Logikai”. Lietuvos Matematikos Rinkinys 60 (A): 1-6. https://doi.org/10.15388/LMR.A.2019.14953.