NORGĖLA, S. Lygiagretus įrodymo paieškos algoritmas predikatų logikos formulėms. Lietuvos matematikos rinkinys, v. 39, n. III, p. 317–321, 17 gruodž.1999.