ALONDERIS, R. Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais. Lietuvos matematikos rinkinys, v. 45, n. spec., p. 309–315, 20 lapkr.2023.