发送短信: The Complexity of Logic−Based Abduction