Ernesto Jorge Costa Weakly commuting term rewriting systems : application to automatic recursion removal. 87-90 1982 ECAI db/conf/ecai/ecai82.html#Costa82