Wei Li R-CALCULUS: A Logic of Belief Revision - Springer Nature 2021 - Perspectives in Formal Induction, Revision and Evolution . One time purchase [Perpetual access] ISSN: 9789811629440 Subjects--Topical Terms: Computer Science