Constraint systems for useless variable elimination (1999)

by Mitchell Wand, Igor Siveroni
Venue:In POPL ’99