Norgėla, S. (1999) “Lygiagretus įrodymo paieškos algoritmas predikatų logikos formulėms”, Lietuvos matematikos rinkinys, 39(III), pp. 317–321. doi:10.15388/LMD.1999.35641.