On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Detalhes bibliográficos
Main Authors: Eiter, T, Gottlob, G
Formato: Journal article
Publicado em: 1995