Joohyung Lee, Vladimir Lifschitz, Ravi Palla. Safe Formulas in the General Theory of Stable Models (Preliminary Report). In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 672-676, Springer, 2008. [doi]
Abstract is missing.