Measure Theoretic Weighted Model Integration. - Ivan Miosic; Pedro Zuidberg Dos Martires (CoRR, 2021)