R. Alonderis, “Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai”, LMR, vol. 37, no. I, pp. 165–170 , Dec. 1997, doi: 10.15388/LMD.1997.38208.