Confluence of Curried Term-Rewriting Systems

Stefan Kahrs. Confluence of Curried Term-Rewriting Systems. Journal of Symbolic Computation, 19(6):601-623, 1995.

Abstract

Abstract is missing.