Skip to main content

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