"Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library."

Roberto Bagnara et al. (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics