ALONDERIS, Romas. Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai. Lietuvos matematikos rinkinys, [S. l.], v. 37, n. I, p. 165–170 , 1997. DOI: 10.15388/LMD.1997.38208. Disponível em: https://www.zurnalai.vu.lt/LMR/article/view/38208. Acesso em: 13 jun. 2025.