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

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