R. Alonderis, „Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais“, LMR, t. 45, nr. spec., p. 309–315, lapkr. 2023, doi: 10.15388/LMR.2005.26671.