A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules. - David Detlefs; Randy Forgaard (RTA, 1985)