Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
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.