Safe Formulas in the General Theory of Stable Models (Preliminary Report).

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Browse the full ICLP paper archive.