M

Minimal Inconsistency Repair with Hitting Sets