A unified view of propositional knowledge base updates (1990)

by H Katsuno, A O Mendelzon
Venue:In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence