Bromberger, M. (2012). Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.