Dynamic features of topographical multiset orderings for terms - Fettig, Roland; Müller, Jürgen; Steinbach, Joachim (Fachbereich Informatik, Univ. Kaiserslautern, 1990)