William Pugh. Counting Solutions to Presburger Formulas: How and Why. In PLDI. pages 121-134, 1994.
@inproceedings{Pugh94,
title = {Counting Solutions to Presburger Formulas: How and Why},
author = {William Pugh},
year = {1994},
researchr = {https://researchr.org/publication/Pugh94},
cites = {0},
citedby = {0},
pages = {121-134},
booktitle = {PLDI},
}