Jorge Lobo Goce Trajcevski Minimal and Consistent Evolution of Knowledge Bases. 1997 7 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl7.html#LoboT97