V. Felea, “Pseudo-stable Models for Logic Programs”, INFOCOMP Journal of Computer Science, vol. 5, no. 3, pp. 43–51, Sep. 2006.