A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)
Alexander Bochman
Explanatory Nonmonotonic Reasoning (Advances in Logic)