@article{Bromberger2020,
TITLE = {A Complete and Terminating Approach to Linear Integer Solving},
AUTHOR = {Bromberger, Martin and Sturm, Thomas and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {0747-7171},
DOI = {10.1016/j.jsc.2019.07.021},
PUBLISHER = {Academic Press},
ADDRESS = {London},
YEAR = {2020},
DATE = {2020},
JOURNAL = {Journal of Symbolic Computation},
VOLUME = {100},
PAGES = {102--136},
}