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

John V. Guttag, Deepak Kapur, David R. Musser

Browse the full ICALP paper archive.