ALONDERIS, R.; GIEDRA, H. Įrodymo ciklų metodas laiko logikai. Lietuvos matematikos rinkinys, v. 60, n. A, p. 1–6, 12 lapkr.2019.