Logical Theory Of Nonmonotonic Inference And Belief Change door Alexander Bochman