Reduction of cycle unification of type Cpg+r

Yunfa Hu, Wolfgang Bibel. Reduction of cycle unification of type Cpg+r. J. Comput. Sci. Technol., 13(1):18-24, 1998. [doi]

Abstract

Abstract is missing.