Cinzia Bernardeschi Giuseppe Lettieri Luca Martini Paolo Masci Using postdomination to reduce space requirements of data flow analysis. 11-18 2006 98 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/j.ipl.2005.11.017 db/journals/ipl/ipl98.html#BernardeschiLMM06