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

John V. Guttag Deepak Kapur David R. Musser

Published in: ICALP (1982)

Keyphrases

term rewriting systems
software tools
pairwise
logic programs
functional programs
database
artificial intelligence