Norgėla, S. (1999) „Lygiagretus įrodymo paieškos algoritmas predikatų logikos formulėms“, Lietuvos matematikos rinkinys, 39(III), p. 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ų.
