Revision and updating in knowledge bases - Sombé, Léa. (Wiley, 1994)