Alonderis, R. Multisukcedentinis Sekvencinis skaičiavimas Intuicionistinei Epsiteminei Logikai. LMR 2024, 65 (A), 9–17. https://doi.org/10.15388/LMD.2024.37367.