Title: Term graph rewriting
Subjects: Graph theory, Formal languages, Rewriting systems (Computer science), Computer programs