Being Polite Is Not Enough (and Other Limits of Theory Combination).

Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar

Browse the full CADE paper archive.