Alonderis R., ir Giedra H. „Įrodymo Ciklų Metodas Laiko Logikai“. Lietuvos Matematikos Rinkinys, T. 60, nr. A, 2019 m.lapkričio, p. 1-6, doi:10.15388/LMR.A.2019.14953.