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.
Pirmos eilės formulės išvedimas ieškomas rezoliucijų metodu, o jos neigimas lygiagrečiai atvirkštiniu metodu. Nagrinėjamas ryšys tarp gaunamų disjunktų.
