Implementations of Term Rewriting Systems

Miki Hermann, Claude Kirchner, Hélène Kirchner. Implementations of Term Rewriting Systems. Comput. J., 34(1):20-33, 1991.

Abstract

Abstract is missing.