State space reduction based on live variables analysis (2003)

by J-C Fernandez, M Bozga, L Ghirvu
Venue:Science of Computer Programming, 47(2– 3):203–220, May–June