"Sassa, M.,Imahashi, T.,Ito, Y.","A Generalized Method for Realizing Partial Redundancy Elimination for Normal Forms in Static Single Assignment Forms",,"Advances in Computer Science and Engineering",,"Vol. 7","No. 1","pp. 1-24",2011,Aug.