Answer Set Programming as SAT modulo Acyclicity.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Browse the full ECAI paper archive.