इसका टेक्स्ट मैसेज भेजे: Complexity Results for Logic−Based Abduction