rbbb@rice-titan.ARPA.UUCP (05/12/86)
See ``Equational Logic as a Programming Language'' by Mike O'Donnell. He writes about using and implementing ``equational logic'', and this makes heavy use of pattern matching and replacement (not necessarily string reduction). (MIT Press, summer 1985) Gyula Mago's FFP machine is a string reduction machine for functional languages. (I'm rather surprised that no one else mentioned these two references; are these not what you had in mind?) David Chase Rice University