Generating function representation of RIM quantifiers | IEEE Conference Publication | IEEE Xplore