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