I.: Constraint systems for useless variable elimination (1999)

by M Wand, Siveroni
Venue:In: Proceedings of POPL ’99