Automatically proving termination and innermost normalisation of term rewriting systems (1997)

by T ARTS