@inproceedings{GiacobazziSR98,
   author =    {Giacobazzi, R. and Ranzato, F. and Scozzari, F.},
   title =     {Building Complete Abstract Interpretations in a Linear 
               Logic-based Setting},
   year =      1998,
   booktitle = {Static Analysis, Proceedings of the Fifth International 
               Static Analysis Symposium SAS 98},
   series =    {Lecture Notes in Computer Science},
   volume = 1503,
   editor = {G. Levi},
   publisher = {Springer-Verlag,Berlin},
   pages = "215-229"
}