SARGSYAN, L.A. ON $SLDNF$-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 45, n. 3 (226), p. 40–46, 2011. DOI: 10.46991/PYSU:A/2011.45.3.040. Disponível em: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no3_2011_pp040-046. Acesso em: 25 nov. 2024.