@inproceedings{GR96,
	author = {R. Giacobazzi and F. Ranzato},
	title = {Compositional Optimization of Disjunctive Abstract Interpretations},
	booktitle = "Proc. of the 1996 European Symposium on Programming",
        series= "Lecture Notes in Computer Science",
        volume = {1058},
        pages = {141-155},
	editor = {H.R. Nielson},
	publisher = "Springer-Verlag, Berlin",
	year = 1996}