Ahmed Guessoum John W. Lloyd Updating Knowledge Bases II. 73-100 1991 10 New Generation Comput. 1 db/journals/ngc/ngc10.html#GuessoumL91