Logical Theory Of Nonmonotonic Inference And Belief Change by Alexander Bochman