A solution to a problem with morel and renvoise's "global optimization by suppression of partial redudancies (1988)

by K H Drechsler, M P Stadel
Venue:ACM Transactions on Programming Languages and Systems