On the Computational Cost of Disjunctive Logic Programming: Propositional Case

書目詳細資料
Main Authors: Eiter, T, Gottlob, G
格式: Journal article
出版: 1995