Multi-dimensional interpretations for termination of term rewriting
scientific article; zbMATH DE number 7437084
scientific article