[1]
Alonderis R. ir Giedra H., „Įrodymo ciklų metodas laiko logikai“, LMR, t. 60, nr. A, p. 1-6, lapkr. 2019.