Efficiently Finding Data Flow Subsumptions | IEEE Conference Publication | IEEE Xplore