https://123dok.net/document/zlgvkmjo-weighted-lattice-polynomials-of-independent-random-variables.html