Reduced Recursive Inclusion-exclusion Principle for the probability of union events | IEEE Conference Publication | IEEE Xplore