Termination and confluence properties of structured rewrite systems - Gramlich, Bernhard (1996)
Kaiserslautern, Univ., Diss., 1996