An extension of a term rewriting system which uses graph reduction on terms represented by directed graphs to avoid duplication of work by sharing expressions.
Try this search on Wikipedia, OneLook, Google
Nearby terms: Graph-Oriented Object Database « graph plotter « graph reduction « graph rewriting system » GRAPPLE » GRAS » GRASP/Ada
