Termination and confluence properties of structured rewrite systems - Gramlich, Bernhard (1996)