Alonderis, Romas. „Intuicionistinės Laiko Logikos Su Laiko Tarpais Sekvencinio skaičiavimo Taisyklių Specializacija“. Lietuvos matematikos rinkinys 39, no. III (gruodžio 17, 1999): 305–310 . žiūrėta spalio 28, 2025. https://test.zurnalai.vu.lt/LMR/article/view/35639.