ALONDERIS, R. Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai. Lietuvos matematikos rinkinys, v. 65, n. A, p. 9–17, 10 gruodž.2024.