A unified view of propositional knowledge base updates (1989)

by H Katsuno, A O Mendelzon
Venue:In Proc. of IJCAI-89