@Inproceedings{BagnaraHZ03,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title =  "A New Encoding and Implementation
       of Not Necessarily Closed Convex Polyhedra",
  Booktitle = Proceedings of the 3rd Workshop on
              Automated Verification of Critical Systems, {AVoCS} 2003",
  Editor = "M Leuschel and S Gruner and S Lo Presti",
  Pages = "161 -- 176",
  Publisher = "University of Southampton",
  Series = "Technical Report",
  Volume = "DSSE-TR-2003-2",
  Year = 2003,
}