Termination of String Rewriting Proved Automatically.

Published in: J. Autom. Reason. (2005)

Keyphrases

automatically generated
termination analysis
artificial intelligence
genetic algorithm
query rewriting
rewriting rules
presburger arithmetic