Kruglov, E. (2013). Superposition Modulo Theory. PhD Thesis, Universität des Saarlandes, Saarbrücken.