Contents of the Proceedings of the
NSF Workshop on the Rewrite Rule Laboratory.
Schenectady, NY, USA, September 6-9, 1983.
General Electric Corporate Research and Development Center, Report No. 84GEN008, April 1984.

Editors: John Guttag, Deepak Kapur and David Musser.

Rewriting Rule Laboratory Unification Termination Orderings Completion Procedures Applications of Term Rewriting Methods