Title: Orderings for term-rewriting systems
Subjects: Computer programs, Recursive functions