Some properties of non-orthogonal term graph rewriting systems

David Clark, Richard Kennaway. Some properties of non-orthogonal term graph rewriting systems. Electronic Notes in Theoretical Computer Science, 2:36-45, 1995. [doi]

Abstract

Abstract is missing.