@article { BLMM06-0,
	title = {Using postdomination to reduce space requirements of data flow analysis},
	journal = {Information Processing Letters},
	volume = {98},
	number = {1},
	year = {2006},
	pages = {11{\textendash}18},
	keywords = {Algorithms},
	issn = {0020-0190},
	doi = {DOI: 10.1016/j.ipl.2005.11.017},
	author = {C. Bernardeschi and G. Lettieri and L. Martini and Paolo Masci}
}