R. Alonderis, „Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai“, LMR, t. 37, nr. I, p. 165–170 , gruodž. 1997, doi: 10.15388/LMD.1997.38208.