Bernhard Gramlich Generalized Sufficient Conditions for Modular Termination of Rewriting. 131-158 1994 5 Appl. Algebra Eng. Commun. Comput. db/journals/aaecc/aaecc5.html#Gramlich94