Automatically Proving Termination and Innermost Normalization of Term Rewriting Systems (1997)

by T Arts