A Logical Theory of Nonmonotonic Inference and Belief Change innbundetEngelsk, 2001