Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems

• Authors:

• John V. Guttag;Deepak Kapur;David R. Musser

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 9th Colloquium on Automata, Languages and Programming
• Year:
• 1982