Ronald V. Book
Univ. of California, Santa Barbara
Cited References
Computer algebra handbook
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae