Propositional knowledge base revision and minimal change. (1991)

by H Katsuno, A O Mendelzon
Venue:Artificial Intelligence,