@article{CattaniP-SAL1990, author = {C. Cattani and A. Paoluzzi}, title = {Symbolic Analysis of Linear Polyhedra}, journal = {Engineering With Computers}, year = 1990, volume = 6, number = 1, pages = {17--29}, }