@incollection{Lasaruk_2009,
    doi = {10.1007/978-3-642-04103-7_18},
    url = {https://doi.org/10.1007%2F978-3-642-04103-7_18},
    year = {2009},
    publisher = {Springer Berlin Heidelberg},
    pages = {195--212},
    author = {Aless Lasaruk and Thomas Sturm},
    title = {Effective Quantifier Elimination for Presburger Arithmetic with Infinity},
    booktitle = {Computer Algebra in Scientific Computing}
}

@incollection{Lasaruk_2009, doi = {10.1007/978-3-642-04103-7_18}, url = {https://doi.org/10.1007%2F978-3-642-04103-7_18}, year = {2009}, publisher = {Springer Berlin Heidelberg}, pages = {195--212}, author = {Aless Lasaruk and Thomas Sturm}, title = {Effective Quantifier Elimination for Presburger Arithmetic with Infinity}, booktitle = {Computer Algebra in Scientific Computing} }