ALONDERIS, R. Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai. Lietuvos matematikos rinkinys, v. 37, n. I, p. 165–170 , 15 gruodž.1997.