Propositional knowledge base revision and minimal change. Artificial Intelligence 52:263–294 (1991)

by H Katsuno, A O Mendelzon