Envoyer par SMS: Explanatory Nonmonotonic Reasoning