On the computational cost of disjunctive logic programming: Propositional case
scientific article; zbMATH DE number 937277
scientific article