A.O.: A unified view of propositional knowledge base updates (1989)

by H Katsuno, Mendelzon
Venue:In: IJCAI