Semiring Pruning for Information Dissemination in Mobile Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore