Comparing on strings iterated syllable ordering & recursive path ordering - Steinbach, Joachim (Seki-Report, 1989)