Sargsyan L. ON $SLDNF$-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION. Proc. YSU A: Phys. Math. Sci. [Internet]. 2011 Oct. 17 [cited 2024 Jul. 22];45(3 (226):40-6. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no3_2011_pp040-046