@inproceedings{GiacobazziS97,
   author =    {Giacobazzi, R. and Scozzari, F.},
   title =     {Intuitionistic Implication in Abstract Interpretation},
   booktitle = {Proceedings of Ninth International Symposium on Programming
                Languages, Implementations, Logics and Programs (PLILP'97)},
   year =      1997,
   series =    {Lecture Notes in Computer Science},
   editor = {H. Glaser and P. Hartel and H. Kuchen},
   publisher = {Springer-Verlag},
   volume   =  {1292},
   pages   =   {175-189},
}