Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28955 (Any fulltext)
Bromberger, M. (2019). Decision procedures for linear arithmetic. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:http://dx.doi.org/10.22028/D291-30636.