Generalized sufficient conditions for modular termination of rewriting. Applicable Algebra (1994)

by B Gramlich
Venue:in Engineering, Communication and Computing