On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Dades bibliogràfiques
Autors principals: Eiter, T, Gottlob, G
Format: Journal article
Publicat: 1995