A Unified View of Propositional Knowledge Base Updates.

Hirofumi Katsuno Alberto O. Mendelzon A Unified View of Propositional Knowledge Base Updates. 1413-1419 1989 IJCAI db/conf/ijcai/ijcai89.html#KatsunoM89