Donglin Liang Mary Jean Harrold Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. 39-46 1999 PASTE http://doi.acm.org/10.1145/316158.316175 db/conf/paste/paste99.html#LiangH99