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