Felea, V. (2006). Pseudo-stable Models for Logic Programs. INFOCOMP Journal of Computer Science, 5(3), 43–51. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/142