Skip to main content

On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Thomas Eiter and Georg Gottlob

Journal
Ann. Math. Artif. Intell.
Number
3−4
Pages
289−323
Volume
15
Year
1995