Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs. - Stefania Costantini; T. Morbidoni (APPIA-GULP-PRODE, 1999)