On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Detalles Bibliográficos
Main Authors: Eiter, T, Gottlob, G
Formato: Journal article
Publicado: 1995