1. PhD thesis;R. Bagnara,1997
2. R. Bagnara, P. M. Hill, E. Ricci, and E. Zaffanella. The Parma Polyhedra Library User’s Manual, Department of Mathematics, University of Parma, Parma, Italy, release 0.4 edition, July 2002. Available at
http://www.cs.unipr.it/ppl/
.
3. R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill. Possibly not closed convex polyhedra and the Parma Polyhedra Library. Quaderno 286, Dipartimento di Matematica, Università di Parma, Italy, 2002. See also [4]. Available at
http://www.cs.unipr.it/Publications/
.
4. R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill. Errata for technical report “Quaderno 286”. Available at
http://www.cs.unipr.it/Publications/
, 2002.
5. Lect Notes Comput Sci;F. Benoy,1997