Felea V. Pseudo-stable Models for Logic Programs. INFOCOMP Journal of Computer Science [Internet]. 2006 Sep. 1 [cited 2024 Jul. 3];5(3):43-51. Available from: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/142