Termination of Rewriting: Extensions, Comparison and Automatic Generation of Simplification Orderings (1994)

by J Steinbach