Wayne Wobcke Belief Revision, Conditional Logic and Nonmonotonic Reasoning. 55-102 1995 36 Notre Dame Journal of Formal Logic 1 db/journals/ndjfl/ndjfl36.html#Wobcke95