Parallel deduction-search algorithm for the predicate logic formulas - Stasys Norgėla (Lietuvos Matematikos Rinkinys)
There is not abstract.