Felea, Victor. “Pseudo-Stable Models for Logic Programs”. INFOCOMP Journal of Computer Science 5, no. 3 (September 1, 2006): 43–51. Accessed May 7, 2024. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/142.