Alonderis, Romas. „Multisukcedentinis Sekvencinis skaičiavimas Intuicionistinei Epsiteminei Logikai“. Lietuvos Matematikos Rinkinys, t. 65, nr. A, 2024 m.gruodžio, p. 9–17, https://doi.org/10.15388/LMD.2024.37367.