Computing Stable Models via Reductions to Difference Logic. - Tomi Janhunen; Ilkka Niemelä; Mark Sevalnev (LPNMR, 2009)