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