@inproceedings{GR97-amast,
	author = {R. Giacobazzi and F. Ranzato},
	title = {Completeness in abstract interpretation: 
                 A domain perspective},
	booktitle = {Proc. of the 6th International Conference on 
            Algebraic Methodology and Software Technology (AMAST'97)},
        volume = {1349},
        series= {Lecture Notes in Computer Science},
        pages = {231-245},
	editor = {M. Johnson},
	publisher = {Springer-Verlag, Berlin},
	year = 1997}