Reversibility and Composition of Rewriting in Hierarchies

Open in new window