S. Norgėla, „Lygiagretus įrodymo paieškos algoritmas predikatų logikos formulėms“, LMR, t. 39, nr. III, p. 317–321, gruodž. 1999, doi: 10.15388/LMD.1999.35641.