1. Term graph reduction;Barendregt,1987
2. Towards an intermediate language based on graph rewriting;Barendregt,1987
3. Clean—A language for functional graph rewriting;Brus,1987
4. Specification of reduction strategies in term rewriting systems;van Eekelen,1986
5. DACTL: A computational model and compiler target language based on graph reduction;Glauert;ICL Tech. J.,1987