1. A complete and terminating approach to linear integer solving. (September 2020) Authors: Bromberger, Martin; Sturm, Thomas; Weidenbach, Christoph Journal: Journal of symbolic computation Issue: Volume 100(2020) Page Start: 102 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗