Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla. Symmetric Splitting in the General Theory of Stable Models. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 797-803, 2009. [doi]
Abstract is missing.