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 lapkričio 6, 2025. https://www.zurnalai.vu.lt/LMR/article/view/26671.