Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Bromberger, M. (2012). Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.