tree-automata (cargo): Term Rewriting Systems
Keywords: term|tree|automaton|tree-automata