TY - JOUR T1 - Counting solutions to Presburger formulas: how and why JF - ACM SIGPLAN Notices Y1 - 1994 A1 - Pugh, William VL - 29 CP - 6 ER -