Abduction from Logic Programs: Semantics and Complexity
Thomas Eiter‚ Georg Gottlob and Nicola Leone
Journal
Theor. Comput. Sci.
Number
1−2
Pages
129−177
Volume
189
Year
1997
Thomas Eiter‚ Georg Gottlob and Nicola Leone