Confluence of Indirection Reductions in Graph Rewrite Systems

P. M. van den Broek. Confluence of Indirection Reductions in Graph Rewrite Systems. Inf. Process. Lett., 29(3):143-148, 1988.

Abstract

Abstract is missing.