On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Bibliografische gegevens
Hoofdauteurs: Eiter, T, Gottlob, G
Formaat: Journal article
Gepubliceerd in: 1995