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