This should really be called rewriting systems, which is a much more common term these days than reduction system, as evidence by the books on the topic, and conferences. Pcap ping
