Bernhard Gramlich. Termination and confluence: properties of structured rewrite systems. PhD thesis, Kaiserslautern University of Technology, Germany, 1996. [doi]
No references recorded for this publication.
No citations of this publication recorded.