Evaluation of Functional Expressions by Hypergraph Rewriting (1993)

by D Plump