Propositional knowledge base revision and minimal change
Artificial Intelligence
Alberto O. Mendelzon
Solving normative conflicts by merging roles