Integration with Respect to Decomposable Measures, Based on a Conditionally Distributive Semiring on the Unit Interval