William Pugh Counting Solutions to Presburger Formulas: How and Why. 121-134 1994 PLDI db/conf/pldi/pldi94.html#Pugh94