Alonderis, R. Indeksinis Daugiasukcedentinis skaičiavimas Su apverčiamomis taisyklėmis Konstruktyvinei Logikai. LMR 1997, 37 (I), 165–170 . https://doi.org/10.15388/LMD.1997.38208.