Bromberger, M., Sturm, T., & Weidenbach, C. (2020). A Complete and Terminating Approach to Linear Integer Solving. Journal of Symbolic Computation, 100, 102-136. doi:10.1016/j.jsc.2019.07.021.