Christen, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Christen, M. (1997). A Calculus of Simplification for Superposition. Master Thesis, Universität des Saarlandes, Saarbrücken.