Alonderis, Romas. 2024. „Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai“. Lietuvos matematikos rinkinys 65 (A): 9–17. https://doi.org/10.15388/LMD.2024.37367.