Sufficient and necessary conditions for solution finding in valuation-based systems | Publicación