@InProceedings{BagnaraRZH02,
  Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill",
  Title = "Possibly Not Closed Convex Polyhedra
           and the Parma Polyhedra Library",
  Booktitle = "Static Analysis:
               Proceedings of the 9th International Symposium",
  Address = "Madrid, Spain",
  Year = 2002,
  Editor = "M. V. Hermenegildo and G. Puebla",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = 2477,
  Pages = "213--229",
  ISBN = "3-540-44235-9",
}