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