Complexity Results for Logic−Based Abduction
Thomas Eiter and Georg Gottlob
Book Title
Structural Complexity and Recursion−theoretic methods in Logic−Programming
Pages
29−44
Year
1992
Thomas Eiter and Georg Gottlob