Quantitative Disjunctive Logic Programming: Semantics and Computation.

Cristinel Mateis Quantitative Disjunctive Logic Programming: Semantics and Computation. 225-248 2000 13 AI Commun. 4 db/journals/aicom/aicom13.html#Mateis00