TY - RPRT TI - Characterizing Sets of Theories That Can Be Disjointly Combined AU - Benjamin Przybocki AU - Guilherme V. Toledo AU - Yoni Zohar PY - 2025 UR - https://arxiv.org/abs/2511.17374 ID - 2511.17374 ER -