Ludwig, Michel Programming Logics, MPI for Informatics, Max Planck Society;
Ludwig, M. (2006). Extensions of the Knuth-Bendix Ordering with LPO-like Properties. Master Thesis, Universität des Saarlandes, Saarbrücken.