Norgėla, Stasys. “Parallel Deduction-Search Algorithm for the Predicate Logic Formulas”. Lietuvos Matematikos Rinkinys, vol. 39, no. III, Dec. 1999, pp. 317–321, https://doi.org/10.15388/LMD.1999.35641.