Comparing on strings iterated syllable ordering and recursive path ordering - Steinbach, Joachim (1989)