A solution to a problem with Morel and Renvoise's "global optimization by suppression of partial redundancies (1988)

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