On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Bibliographische Detailangaben
Hauptverfasser: Eiter, T, Gottlob, G
Format: Journal article
Veröffentlicht: 1995