R. Alonderis ir H. Giedra, „Įrodymo ciklų metodas laiko logikai“, LMR, t. 60, nr. A, p. 1–6, lapkr. 2019, doi: 10.15388/LMR.A.2019.14953.