Constraint systems for useless variable elimination (1999)

by M Wand, I Siveroni
Venue:In Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'99