Scheevel [Aug 1986], "NORMA - a graph reduction processor (0)

by Mark
Venue:Proc ACM Conference on Lisp and Functional Programming