R. Alonderis, „Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai“, LMR, t. 65, nr. A, p. 9–17, gruodž. 2024, doi: 10.15388/LMD.2024.37367.