APA (7th ed.) Citation

Avenhaus, J., Loría-Sáenz, C., & Steinbach, J. (1995). A reduction ordering for higher-order terms. FB Informatik, Univ. Kaiserslautern.

Chicago Style (17th ed.) Citation

Avenhaus, Jürgen, Carlos Loría-Sáenz, and Joachim Steinbach. A Reduction Ordering for Higher-order Terms. Kaiserslautern: FB Informatik, Univ. Kaiserslautern, 1995.

MLA (9th ed.) Citation

Avenhaus, Jürgen, et al. A Reduction Ordering for Higher-order Terms. FB Informatik, Univ. Kaiserslautern, 1995.