Alonderis, Romas. “Multisukcedentinis Sekvencinis skaičiavimas Intuicionistinei Epsiteminei Logikai”. Lietuvos Matematikos Rinkinys, vol. 65, no. A, Dec. 2024, pp. 9–17, https://doi.org/10.15388/LMD.2024.37367.