A logic for reasoning about probabilities | IEEE Conference Publication | IEEE Xplore