Computing Stable Models via Reductions to Difference Logic.

Tomi Janhunen, Ilkka Niemel, Mark Sevalnev

Browse the full LPNMR paper archive.