Norgėla, Stasys. “Parallel Deduction-Search Algorithm for the Predicate Logic Formulas”. Lietuvos matematikos rinkinys 39, no. III (December 17, 1999): 317–321. Accessed October 26, 2026. https://zurnalai.vu.lt/LMR/article/view/35641.