Complexity Results for Logic−Based Abduction - Eiter, T; Gottlob, G (1992)