R

rewriting

Libraries for term rewriting and narrowing