Term Rewriting Execution Protocol | Term Rewriting | Mathematics | NEROS