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.vasario22 d.];39(III):317–321. Adresas: https://www.journals.vu.lt/LMR/article/view/35641