Decreasing diagrams and relative termination
scientific article; zbMATH DE number 6062058
scientific article