Explanatory Nonmonotonic Reasoning door Alexander Bochman