Maria C. F. Ferreira, Hans Zantema: Dummy Elimination: Making Termination Easier. FCT 1995: 243-252