Alonderis, Romas. „Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais“. Lietuvos matematikos rinkinys 45, no. spec. (lapkričio 20, 2023): 309–315. žiūrėta rugpjūčio 25, 2026. https://journals.vu.lt/LMR/article/view/26671.