Alonderis R. Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai. LMR [Prieiga per internetą]. 1997 m.gruodžio15 d. [žiūrėta 2025 m.spalio28 d.];37(I):165–170 . Adresas: https://test.zurnalai.vu.lt/LMR/article/view/38208