Explanatory Nonmonotonic Reasoning by Alexander Bochman