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
Thomas Eiter and Georg Gottlob