A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
scientific article; zbMATH DE number 2177895
scientific article