@article{Boigelot_2004,
    doi = {10.1016/j.tcs.2003.10.002},
    url = {https://doi.org/10.1016%2Fj.tcs.2003.10.002},
    year = {2004},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {313},
    number = {1},
    pages = {17--29},
    author = {Bernard Boigelot and Louis Latour},
    title = {Counting the solutions of Presburger equations without enumerating them},
    journal = {Theoretical Computer Science}
}

@article{Boigelot_2004, doi = {10.1016/j.tcs.2003.10.002}, url = {https://doi.org/10.1016%2Fj.tcs.2003.10.002}, year = {2004}, month = {feb}, publisher = {Elsevier {BV}}, volume = {313}, number = {1}, pages = {17--29}, author = {Bernard Boigelot and Louis Latour}, title = {Counting the solutions of Presburger equations without enumerating them}, journal = {Theoretical Computer Science} }