@Inproceedings{BagnaraHZ02a,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title = "A New Encoding of Not Necessarily Closed Convex Polyhedra",
  Pages = "147--153",
  Booktitle = "Proceedings of the 1st CoLogNet Workshop on Component-based
               Software Development and Implementation Technology
               for Computational Logic Systems",
  Address = "Madrid, Spain",
  Editor = "M. Carro and C. Vacheret and K.-K. Lau",
  Year = 2002,
  Note = "Published as TR Number CLIP4/02.0, Universidad Polit\'ecnica
          de Madrid, Facultad de Inform\'atica",
}