Comparing on strings iterated syllable ordering & recursive path ordering - Steinbach, Joachim (Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern, 1989)