Termination of Rewrite Systems by Elementary Interpretations

Pierre Lescanne. Termination of Rewrite Systems by Elementary Interpretations. Formal Asp. Comput., 7(1):77-90, 1995.

Abstract

Abstract is missing.