The unification problem for confluent right-ground term rewriting systems

Michio Oyamaguchi, Yoshikatsu Ohta. The unification problem for confluent right-ground term rewriting systems. Inf. Comput., 183(2):187-211, 2003. [doi]

Abstract

Abstract is missing.