Verdoolaege S, Seghir R, Beyls K, Loechner V, Bruynooghe M. Analytical computation of Ehrhart polynomials: Enabling more compiler analyses and optimizations. Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems. 2004 :248-258.