Toward automating the discovery of decreasing measures
scientific article; zbMATH DE number 5119729
scientific article