@incollection{Braverman_2006,
    doi = {10.1007/11817963_34},
    url = {https://doi.org/10.1007%2F11817963_34},
    year = {2006},
    publisher = {Springer Berlin Heidelberg},
    pages = {372--385},
    author = {Mark Braverman},
    title = {Termination of Integer Linear Programs},
    booktitle = {Computer Aided Verification}
}

@incollection{Braverman_2006, doi = {10.1007/11817963_34}, url = {https://doi.org/10.1007%2F11817963_34}, year = {2006}, publisher = {Springer Berlin Heidelberg}, pages = {372--385}, author = {Mark Braverman}, title = {Termination of Integer Linear Programs}, booktitle = {Computer Aided Verification} }