Effective lattice point counting in rational convex polytopes. - Jesús A. De Loera; Raymond Hemmecke; Jeremiah Tauzer; Ruriko Yoshida (J. Symb. Comput., 2004)