发送短信: Complexity Results for Logic−Based Abduction