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.