Loading paper
The product on smooth and generalized valuations | Tomesphere