A Unified View of Consequence Relation, Belief Revision and Conditional Logic.

Hirofumi Katsuno Ken Satoh A Unified View of Consequence Relation, Belief Revision and Conditional Logic. 406-412 1991 IJCAI db/conf/ijcai/ijcai91.html#KatsunoS91