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