Propositional belief base update and minimal change
scientific article; zbMATH DE number 1454256
scientific article