@article {16350,
	title = {Counting solutions to Presburger formulas: how and why},
	journal = {ACM SIGPLAN Notices},
	volume = {29},
	year = {1994},
	month = {1994///},
	pages = {121 - 134},
	author = {Pugh, William}
}
