Automated higher-order complexity analysis
scientific article; zbMATH DE number 2083404