Fairness in term rewriting systems - Porat, Sara; Francez, Nissim (1985)