Envoyer par SMS: Complexity Results for Logic−Based Abduction