Experience with the setl optimizer (1983)

by S Freudenberger, J T Schwartz, M Sharir
Venue:ACM TOPLAS