Norgėla, S. Lygiagretus įrodymo paieškos Algoritmas Predikatų Logikos formulėms. LMR 1999, 39 (III), 317–321. https://doi.org/10.15388/LMD.1999.35641.