TR-94-13
Run-Time and Compile-Time Improvements to Equational Programs
Sherman, David James. 15 July, 1994.