NORMA: A graph reduction processor (1986)

by M Scheevel
Venue:In Proceedings of the 1986 Conference on LISP and Functional Programming