Felea, V. Pseudo-Stable Models for Logic Programs. INFOCOMP Journal of Computer Science 2006, 5, 43-51.