Sargsyan, L.A. “ON $SLDNF$-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION”. Proceedings of the YSU A: Physical and Mathematical Sciences 45, no. 3 (226) (October 17, 2011): 40–46. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no3_2011_pp040-046.