Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, U. (1998). Extending reduction orderings to ACU-compatible reduction orderings. Information Processing Letters, 67(1), 43-49.