Steinbach, J. (1994). Termination of rewriting: Extensions, comparison and automatic generation of simplification orderings.
Chicago-Zitierstil (17. Ausg.)Steinbach, Joachim. Termination of Rewriting: Extensions, Comparison and Automatic Generation of Simplification Orderings. 1994.
MLA-Zitierstil (9. Ausg.)Steinbach, Joachim. Termination of Rewriting: Extensions, Comparison and Automatic Generation of Simplification Orderings. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.