Felea, Victor. 2006. “Pseudo-Stable Models for Logic Programs”. INFOCOMP Journal of Computer Science 5 (3):43-51. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/142.