Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets.

Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt

Browse the full LPNMR paper archive.