On the computational cost of disjunctive logic programming : propositional case
収録刊行物
-
- Annals of Mathematics and Artificial Intelligence
-
Annals of Mathematics and Artificial Intelligence 15 (3), 289-323, 1995