Korovin, Konstantin Programming Logics, MPI for Informatics, Max Planck Society;
Voronkov, Andrei Programming Logics, MPI for Informatics, Max Planck Society;
Korovin, K., & Voronkov, A. (2003). Orienting rewrite rules with the Knuth-Bendix order. Information and Computation, 183, 165-186.