TR-94-13

Run-Time and Compile-Time Improvements to Equational Programs

Sherman, David James. 15 July, 1994.