Termination and applications of term rewriting systems. - Hanan A. Mohamed (1989)