The axiomatization of override and update
scientific article; zbMATH DE number 5720216
scientific article