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