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.