Fusing logic and control with local transformations: An example optimization (2001)

by P Johann, E Visser
Venue:Electronic Notes in Theoretical Computer Science