@inproceedings{Scozzari97,
   author = {Scozzari, F.},
   title =  {Logical Optimality of Groundness Analysis},
   booktitle = {Proceedings of International Static Analysis Symposium, SAS'97},
   editor = {P. Van Hentenryck},
   year =      1997,
   series =    {Lecture Notes in Computer Science},
   volume   =  {1302},
   pages   =   {83-97},
   publisher = {Springer-Verlag},
}