Combining Combination Properties, Part I: Nelson-Oppen and Politeness. - Toledo, Guilherme V.; Zohar, Yoni; Barrett, Clark (Journal of Automated Reasoning, 2026)