trs (cargo): Term Rewriting Systems
Keywords: pattern|term|tree|rewriting