Robert Pasko Patrick Schaumont Veerle Derudder Serge Vernalde Daniela Durackova A new algorithm for elimination of common subexpressions. 58-68 1999 18 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://doi.ieeecomputersociety.org/10.1109/43.739059 db/journals/tcad/tcad18.html#PaskoSDVD99