Felea, V. 2006. Pseudo-stable Models for Logic Programs. INFOCOMP Journal of Computer Science. 5, 3 (Sep. 2006), 43–51.