Norgėla, S. (1999) “Parallel deduction-search algorithm for the predicate logic formulas”, Lietuvos matematikos rinkinys, 39(III), pp. 317–321. doi:10.15388/LMD.1999.35641.