Efficiently Finding Data Flow Subsumptions - Chaim, Marcos Lordello (2021)