Propositional Knowledge Base Revision and Minimal Change.

Hirofumi Katsuno Alberto O. Mendelzon Propositional Knowledge Base Revision and Minimal Change. 263-294 1992 52 Artif. Intell. 3 db/journals/ai/ai52.html#KatsunoM92