A reduction ordering for higher-order terms - Avenhaus, Jürgen; Loría-Sáenz, Carlos; Steinbach, Joachim (FB Informatik, Univ. Kaiserslautern, 1995)