Modular Term Rewriting Systems and the Termination

Masahito Kurihara, Ikuo Kaji. Modular Term Rewriting Systems and the Termination. Inf. Process. Lett., 34(1):1-4, 1990.

Abstract

Abstract is missing.