Propositional knowledge base revision and minimal change (1991)

by H Katsuno, A O Mendelzon
Venue:Artificial Intelligence