Constraint systems for useless variable elimination (1999)

by M Wand, I Siveroni
Venue:University of Sussex