Alonderis R. ir Giedra H. (2019) „Įrodymo ciklų metodas laiko logikai“, Lietuvos matematikos rinkinys, 60(A), p. 1-6. doi: 10.15388/LMR.A.2019.14953.