Christen, M. (1997). A Calculus of Simplification for Superposition. Master Thesis, Universität des Saarlandes, Saarbrücken.