Property analysis of term rewriting systems. - Richard Seifert (1993)