José Júlio Alferes João Alexandre Leite Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski Dynamic updates of non-monotonic knowledge bases. 43-70 2000 45 J. Log. Program. 1-3 db/journals/jlp/jlp45.html#AlferesLPPP00