Term Rewriting Systems

A small literature review