R-Calculus: An Inference System for Belief Revision

Wei Li. R-Calculus: An Inference System for Belief Revision. Comput. J., 50(4):378-390, 2007. [doi]

Abstract

Abstract is missing.