Seol mar théacs é seo: Complexity Results for Logic−Based Abduction