Propositional knowledge base revision and minimal change
scientific article; zbMATH DE number 58242
scientific article