Karthik Gargi A Sparse Algorithm for Predicated Global Value Numbering. 45-56 2002 PLDI http://doi.acm.org/10.1145/512529.512536 db/conf/pldi/pldi2002.html#Gargi02