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.

Authors

P. M. van den Broek

This author has not been identified. Look up 'P. M. van den Broek' in Google