SAT Modulo Well-Founded Semantics.

Thomas Eiter, Tobias Nieen, Davide Sold

Browse the full SAT paper archive.