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