On the computational cost of disjunctive logic programming: Propositional case. (1995)

by T Eiter, G Gottlob
Venue:Annals of Mathematics and Artificial Intelligence