@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", }