Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev. Computing Stable Models via Reductions to Difference Logic. In Esra Erdem, Fangzhen Lin, Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Volume 5753 of Lecture Notes in Computer Science, pages 142-154, Springer, 2009. [doi]
Abstract is missing.