Dawson, JeremyGore, Rajeev2015-12-100129-0541http://hdl.handle.net/1885/55525We present a general theorem capturing conditions required for the termination of abstract reduction systems. We show that our theorem generalises another similar general theorem about termination of such systems. We apply our theorem to give interestingKeywords: Rewriting; Strong normalisation; Termination; Well-founded ordering200910.1142/S01290541090064502016-02-24