Revision and updating in knowledge bases - Sombe, Lea (Wiley, 1994)