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