Revision and updating in knowledge bases - Sombe, Lea (John Wiley and Sons, Inc., 1994)