Computing trees with graph rewriting systems with priorities

Igor Litovsky, Yves Métivier. Computing trees with graph rewriting systems with priorities. In Tree Automata and Languages. pages 115-140, 1992.

Abstract

Abstract is missing.