An effective proof of the well-foundedness of the multiset path ordering
scientific article; zbMATH DE number 5081977
scientific article