Safe Formulas in the General Theory of Stable Models (Preliminary Report)
scientific article; zbMATH DE number 5496725