Norgėla, Stasys. „Lygiagretus įrodymo paieškos algoritmas predikatų logikos formulėms“. Lietuvos matematikos rinkinys 39, no. III (gruodžio 17, 1999): 317–321. žiūrėta rugpjūčio 28, 2026. https://journals.vu.lt/LMR/article/view/35641.