Parallel deduction-search algorithm for the predicate logic formulas - Norgėla, Stasys (Lietuvos matematikos rinkinys, 1999)
There is not abstract.