R. Alonderis, “Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai”, LMR, vol. 65, no. A, pp. 9–17, Dec. 2024, doi: 10.15388/LMD.2024.37367.