cut fusion: proved and improved (2001)

by Short
Venue:In Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation, SAIG’01