An Efficient SSA-Based Algorithm for Complete Global Value Numbering. - Jiu-Tao Nie; Xu Cheng 001 (APLAS, 2007)