Symmetric Splitting in the General Theory of Stable Models.

Paolo Ferraris Joohyung Lee Vladimir Lifschitz Ravi Palla Symmetric Splitting in the General Theory of Stable Models. 797-803 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-137.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#FerrarisLLP09