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