Termination of Rewriting -- Extensions, Comparison and Automatic Generation of Simplification Orderings, Doctoral Dissertation, Universit"at (1994)

by J Steinbach