Peter J. Downey Ravi Sethi Robert Endre Tarjan Variations on the Common Subexpression Problem. 758-771 1980 27 J. ACM 4 http://doi.acm.org/10.1145/322217.322228 db/journals/jacm/jacm27.html#DowneyST80