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.