Avenhaus, J., Loría-Sáenz, C., & Steinbach, J. (1995). A reduction ordering for higher-order terms. FB Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Avenhaus, Jürgen, Carlos Loría-Sáenz, und Joachim Steinbach. A Reduction Ordering for Higher-order Terms. Kaiserslautern: FB Informatik, Univ. Kaiserslautern, 1995.
MLA-Zitierstil (9. Ausg.)Avenhaus, Jürgen, et al. A Reduction Ordering for Higher-order Terms. FB Informatik, Univ. Kaiserslautern, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.