Symmetric Splitting in the General Theory of Stable Models

   Abstract