A reduction ordering for higher-order terms - Avenhaus, Jürgen; Loría-Sáenz, Carlos; Steinbach, Joachim (Universität <Kaiserslautern> / SEKI-Projekt: SEKI-Report, 1995)