Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.

Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You

Browse the full AI paper archive.