Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You. Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. In Robin Cohen, Bruce Spencer, editors, Advances in Artificial Intelligence, 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002, Calgary, Canada, May 27-29, 2002, Proceedings. Volume 2338 of Lecture Notes in Computer Science, pages 119-131, Springer, 2002. [doi]
Abstract is missing.