Norgėla S. Lygiagretus įrodymo paieškos algoritmas predikatų logikos formulėms. LMR [Prieiga per internetą]. 1999 m.gruodžio17 d. [žiūrėta 2026 m.sausio6 d.];39(III):317–321. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/35641