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

by B Gramlich
Venue:in Engineering, Communication and Computing, 5:131–158