On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Authors: Thomas Eiter, Georg Gottlob - Annals of Mathematics and Artificial Intelligence 1995 cited by 380