Jean-Claude Fernandez Marius Bozga Lucian Ghirvu State space reduction based on live variables analysis. 203-220 2003 47 Sci. Comput. Program. 2-3 http://dx.doi.org/10.1016/S0167-6423(02)00133-8 db/journals/scp/scp47.html#FernandezBG03