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