Modular termination proofs for rewriting using dependency pairs
scientific article; zbMATH DE number 1886741
scientific article