@inproceedings{GS97,
   author =    {R. Giacobazzi and F. Scozzari},
   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}}