A proof-theoretic study of abstract termination principles
scientific article; zbMATH DE number 7168184