Marko C. J. D. van Eekelen Marinus J. Plasmeijer Specification of reduction strategies in term rewriting systems. 215-239 1986 conf/gr/1986 Graph Reduction db/conf/gr/gr1986.html#EekelenP86