Termination of term rewriting using dependency pairs
scientific article; zbMATH DE number 1454399